<<< native [ EOver False (EIdentifier "x") (ESymbol Accent "\168") , ESymbol Rel "\8800" , EOver False (EIdentifier "x") (ESymbol Ord "\168") , ESymbol Rel "=" , EOver False (EIdentifier "x") (ESymbol Ord "\168") , ESymbol Rel "=" , EOver False (EIdentifier "x") (ESymbol Ord "\168") ] >>> tex \overset{¨}{x} \neq \overset{¨}{x} = \overset{¨}{x} = \overset{¨}{x}