User manual
∀∃
Ε++# 1
∃∃;11Κ11#
. ∃ ∗∃
∗#∃ ;∗#+∃ ;
# :; ; ∃ :#
: ∗∃ ∗+.∗
+#∃∗; ∃∗∃1
∃∃1
.1∗∃;∗
:#1 ∗::#<#∗+
+#+#∃
1; ∃∃∃
∗+∋#
+∃
1:∗∃+1
∋# ∗ ; ∗;
∃# ∃
:#
∃#∃ + +#∃
∃
+∃#∃
2∃∃
?
∗#1∃;
∗#∃∃∃;
∗#;
∗# ∗ ∃∗
1∗∃
4−