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