User blog comment:Alemagno12/Rayo and FOST/@comment-1605058-20160331134819/@comment-80.98.179.160-20171224211622

Even less symbols: ¬∃z∈2:¬(z=0)∧¬(z=1) by proper set limitations and removal of unneeded parens.