texmath-0.13.1.2: test/roundtrip/mi3.native
[ EIdentifier "x" , EOver False (ESymbol Accent "\8594") (EText TextNormal "maps to") , EIdentifier "y" ]
[ EIdentifier "x" , EOver False (ESymbol Accent "\8594") (EText TextNormal "maps to") , EIdentifier "y" ]