<<< native [ ESymbol Rel "\8739" , EIdentifier "x" , ESymbol Rel "\8739" ] >>> eqn \[u2223] x \[u2223]