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


Quantifer Rules: ∃Elim with zoxiy

The rules of proof exists elim and universal intro each require you to put a name in a box in the premise of a subproof. How can you do this with zoxiy?
Where you see a name in a box, just enclose it in square brackets. For example: [a]