<<< native [ EIdentifier "x" , ESymbol Bin "+" , EIdentifier "y" ] >>> tex x + y