<<< mml $x\stackrel{\text{maps to}}{\to }y$ >>> native [ EIdentifier "x" , EOver False (ESymbol Accent "\8594") (EText TextNormal "maps to") , EIdentifier "y" ]