User manual
∋ 1∗ ∃
∗∃; + 1
∗∃ ∃ Χ 1∃
∗∃1∗∃
∃##;∗#
∗∃∃
∗∃111Κ%%12;
# ∃ 1 +; ∃
11 + ∗∃1
1 ∗∃; ∃ 1 +;
∃+
(∀(
.11 +1#
%%∗∃
1+.+#+1
1
∀∗∃∗? +∃ 1∃
51;+;∗∗7;1 ∃
∗∃;1+#
. ∃ + / ;
+∃1
#%%
Ν Ν . # + +
∃∃::#+)/∃1Κ
+#<#1
: + #
++
∗∃111Κ%%%12∃
11 + ∗∃1
1 ∗∃; > 1 +
∃;∃+
4!