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