Press the right key for the next slide (or swipe left)

also ...

Press the left key to go backwards (or swipe right)

Press n to toggle whether notes are shown (no equivalent if you don't have a keyboard)

Press m or double tap to see a menu of slides

 

Symbols and Words

When typing proofs or sentences, it’s often awkward to enter symbols. In the first-order language awFOL, you can use words as well as symbols (they are treated as equivalent). This makes typing easier. And since zoxiy recognises awFOL, you can use the words in logic-ex.
Here’s a table listing the words you can use for each symbol.
symbolword(s)
¬not
→arrow, ->
↔double_arrow, <->
⊥_|_, contra, contradiction
∧and, &
∨or, |, ǀǀ
↓nor
↑nand
∀all, every
∃some, exists