<<< native [ EOver False (EIdentifier "x") (ESymbol Accent "\8411") , ESymbol Rel "\8800" , EOver False (EIdentifier "x") (ESymbol Accent "\8411") , ESymbol Rel "=" , EOver False (EIdentifier "x") (ESymbol Accent "\8411") , ESymbol Rel "=" , EOver False (EIdentifier "x") (ESymbol Accent "\8411") ] >>> tex \dddot{x} \neq \dddot{x} = \dddot{x} = \dddot{x}