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