[ESub (EIdentifier "u") (EIdentifier "n"),EBinary "\\stackrel" (EGrouped [EIdentifier "w"]) (EGrouped [ESymbol Rel "\8594"]),EIdentifier "u"]