<<< native [ ESub (EIdentifier "u") (EIdentifier "n") , EOver False (ESymbol Rel "\8594") (EIdentifier "w") , EIdentifier "u" ] >>> tex u_{n}\overset{w}{\rightarrow}u