[EIdentifier "A",EOver False (ESymbol TUnder "\8594") (ESymbol Ord "\8710"),EIdentifier "B"]