User manual
2 ∃∃∗∗;∗#
: ∃∃ + ∃ 4
1∗#∃∃
Β∗∗∃∗
<+∗;1+#
:::+
∃
2∃;
∃ ;
;
∃∃;
∗1+
∃#∃11+
∃111?
∗+∃:1:
)∗+∗+∃+;
11#+∃1
∀∗∃:
∀∗∃
∃ 1
∃ ∃∃ 1 ∗8
>+:
Χ ∗# 1∃ ∃ ∗ #
1++∃
1#1
∀∗∃ ∗# +∃:1
4!