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