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