<<< mml A B = A B >>> native [ ESub (EIdentifier "A") (EIdentifier "B") , ESymbol Rel "=" , ESub (EIdentifier "A") (EIdentifier "B") ]