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