User manual

 
: ∃
+#:∃;+#:
  ##  ∗#            :  1
∗∃<#;;
∃
4−