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

 

Relations: Some Examples

Artificial relations ...
EqualToOrLeftOf(x, y) iff
\hspace{3mm} x = y or LeftOf(x, y)
EqualToOrAdjacent(x, y) iff
\hspace{3mm} x=y or Adjacent(x, y)
JohnOrAyesha(x, y) iff
\hspace{3mm} x = John and y = Ayesha
\hspace{3mm} or x = Ayesha and y = John
JohnToAyesha(x, y) iff
\hspace{3mm} x = John and y = Ayesha