Home, For All Sans, Typeface, 2020

The “∀” is the universal quantification symbol, it's a shorthand character in symbolic logic. It's read as “for all” when written in a string of symbols when say, writing a formal proof.

The phrases “for all”, is used so frequently in mathematics that people have found it useful to adopt the following symbol for shorthand. The symbol “∀” means “for all” or “for any”.