<<< native [ EOver False (EIdentifier "x") (ESymbol Accent "`") , ESymbol Rel "\8800" , EOver False (EIdentifier "x") (ESymbol Ord "`") , ESymbol Rel "=" , EOver False (EIdentifier "x") (ESymbol Ord "`") , ESymbol Rel "=" , EOver False (EIdentifier "x") (ESymbol Ord "`") ] >>> mml $$\stackrel{`}{x}\ne \stackrel{`}{x}=\stackrel{`}{x}=\stackrel{`}{x}$$