stackrel.test

<<< native
[ ESub (EIdentifier "u") (EIdentifier "n")
, EOver False (ESymbol Rel "\8594") (EIdentifier "w")
, EIdentifier "u"
]
>>> typst
u_n arrow.r^w u