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