[ESub (EIdentifier "u") (EIdentifier "n"),EOver True (ESymbol Rel "\8594") (EIdentifier "w"),EIdentifier "u"]