<<< native [ EIdentifier "x" , EOver False (ESymbol Accent "\8594") (EText TextNormal "maps to") , EIdentifier "y" ] >>> omml x maps to y