Resolve error in notations for ∀ , ∃, and λ#149

Merged

jwiegley merged 1 commit intojwiegley:masterfrom jjhugues:master

Sep 18, 2024

+3-3

Commits on Sep 18, 2024

Update notation definition for ∀ , ∃, and λ to avoid errors
sei-jhugues
committed