<<< native [ EOver False (EIdentifier "x") (ESymbol Accent "\711") , ESymbol Rel "\8800" , EOver False (EIdentifier "x") (ESymbol Alpha "\711") , ESymbol Rel "=" , EOver False (EIdentifier "x") (ESymbol Alpha "\711") , ESymbol Rel "=" , EOver False (EIdentifier "x") (ESymbol Alpha "\711") ] >>> tex \check{x} \neq \overset{ˇ}{x} = \overset{ˇ}{x} = \overset{ˇ}{x}