<<< native [ EOver False (EIdentifier "x") (ESymbol Accent "\732") , ESymbol Rel "\8800" , EOver False (EIdentifier "x") (ESymbol Ord "\732") , ESymbol Rel "=" , EOver False (EIdentifier "x") (ESymbol Ord "\732") , ESymbol Rel "=" , EOver False (EIdentifier "x") (ESymbol Ord "\732") ] >>> eqn x to \[u02DC] != x to \[u02DC] = x to \[u02DC] = x to \[u02DC]