notin.test

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