https://github.com/davepinch/pinchy.cc/blob/master/content/topics/mathematics/shapes/acute-triangle/wikipedia/en.wikipedia.org.md
In symbolic logic, the universal quantifier symbol ∀ (a turned “A” in a sans-serif font, Unicode U+2200) is used to indicate universal quantification.