<<< native [ EIdentifier "x" , ESymbol Rel "\8712" , EIdentifier "y" , ESymbol Bin "\8743" , EIdentifier "x" , ESymbol Rel "\8713" , EIdentifier "y" ] >>> mml $$x\in y\wedge x\notin y$$