User:Ikosarakt1/Rayo's expressions

\(\neg \exists 1 : 1 \exists 2 = 0\)