<<< mml $\mid x\mid$ >>> native [ ESymbol Rel "\8739" , EIdentifier "x" , ESymbol Rel "\8739" ]