User manual
&∋∃
()(
. 11 1+;
%% 1 +∃ . +
∃#+11
∀∗∃∗? 21 ∗1 ∗#
+ ∗ #; 1
∗#
.11+1∃1
∃+∃:;∗∃∃
.+#1
1∗
∗∃ 1 1 1Κ %% 12;
∗ # 1 + ∃; ∃
11 + ∗∃1
1 ∗∃; ∗ # 1
+ ∃ ; ∃ 1 +
.∗∃∃1#∃;1
#+∗∃1∃
(∀(
.11∃1+1
# % ( . +
#+11
∀∗∃∗?∃∃
Λ#Λ5Μ#17
.∃+1∃1∗
∃+∃;∗1
∃.1∗11
+ # 1∃;
∗∃ + ∃ #
4!