notin.test

<<< native
[ EIdentifier "x"
, ESymbol Rel "\8712"
, EIdentifier "y"
, ESymbol Bin "\8743"
, EIdentifier "x"
, ESymbol Rel "\8713"
, EIdentifier "y"
]
>>> tex
x \in y \land x \notin y