Open SlimTim10 opened 9 months ago
The ∀ symbol first appears in 4.13, but it isn't explained how to insert it (\forall), how it works, or why it is used.
The ∀ symbol first appears in 4.13, but it isn't explained how to insert it (\forall), how it works, or why it is used.