<<< native [ EUnder False (EIdentifier "x") (ESymbol Accent "\710") , ESymbol Rel "\8800" , EUnder False (EIdentifier "x") (ESymbol Alpha "\710") , ESymbol Rel "=" , EUnder False (EIdentifier "x") (ESymbol Alpha "\710") , ESymbol Rel "=" , EUnder False (EIdentifier "x") (ESymbol Alpha "\710") ] >>> mml $$\underset{ˆ}{x}\ne \underset{ˆ}{x}=\underset{ˆ}{x}=\underset{ˆ}{x}$$