<<< native [ EIdentifier "x" ] >>> mml $$x$$