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