stackrel.test

<<< tex
u_n \stackrel{w}{\to} u


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