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]
