<<< native [ EUnder False (EIdentifier "x") (ESymbol Accent "`") , ESymbol Rel "\8800" , EUnder False (EIdentifier "x") (ESymbol Ord "`") , ESymbol Rel "=" , EUnder False (EIdentifier "x") (ESymbol Ord "`") , ESymbol Rel "=" , EUnder False (EIdentifier "x") (ESymbol Ord "`") ] >>> tex \underset{`}{x} \neq \underset{`}{x} = \underset{`}{x} = \underset{`}{x}