mi3.test

<<< native
[ EIdentifier "x"
, EOver False (ESymbol Accent "\8594") (EText TextNormal "maps to")
, EIdentifier "y"
]
>>> eqn
x -> to {roman "maps to"} y