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