[ EIdentifier "f"
, ESymbol Rel ":"
, EIdentifier "X"
, ESymbol Rel "\8594"
, EIdentifier "Y"
]