LaTTe icon indicating copy to clipboard operation
LaTTe copied to clipboard
verified publisher icon latte-central

existential symbol should be allowed...

Open fredokun opened this issue 4 years ago • 0 comments

The existential symbol ∃ should be allowed in terms, as a synonymous notation for exists

fredokun avatar Mar 19 '21 12:03 fredokun