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