Where is the -∀ symbol?

Question

Where is the -∀ symbol?

Closed this issue 3 years ago · 1 comments

There is a -∃ symbol ( ∄) but not the equivalent one for the ∀ symbol.

Answer 1 · 2021-06-12T17:41:24.000Z

There isn't a "not for all" symbol in Unicode, so it's not possible for one to be added to the Gboard dictionary. See Mathematical Operators (Unicode Block).

My only suggestion is using \lnot \forall for ¬∀ instead.