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