<<< 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 "`") ] >>> tex \grave{x} \neq \overset{`}{x} = \overset{`}{x} = \overset{`}{x}