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”.