stackrel.test

<<< native
[ ESub (EIdentifier "u") (EIdentifier "n")
, EOver False (ESymbol Rel "\8594") (EIdentifier "w")
, EIdentifier "u"
]
>>> eqn
u sub n -> to w u