Is there a name for the upside-down “A” symbol used in predicate logic as a universal quantifier?
Am I being a wise-guy if I simply say “all” is what it’s called? 
ETA: Make that for all.
It’s still less of a mouthful than “upside-down A.”
Apparently it’s called a “turned A”, though I doubt many people know this. (I didn’t before poking around on Wiki.) If I were you I’d stick with “for-all symbol”.
:smack: Yi! I could have at least looked up “universal quantifier” or" predicate logic" on Wikipedia.org.
Sorry for jumping in with a guess.
“Turned A,” eh? Pretty lame sounding. I was hoping it would be something cool like applethorpe or dinglesplotz.
If you turn AEEA upside down, you get a sentence that can be read: “For all upside-down E, there exists an upside-down A”.
Australian A
The LaTeX command \forall is as good a name as any.
Unicode 8704? ∀ is called FOR ALL .
I’m so using this next time I lead a study group made up of mostly foreigners.
“So, x sub i equals w sub i applethorpe i.”