quantifier在邏輯學中(數學中)叫邏輯量詞,有別於英語語法中的量詞。
全稱量詞universal quantifier的傳統符號是 ,它是倒過來的字母 A,表示單詞“all”。 存在量詞existential quantifier的相應的符號是 ,它是反過來的字母 E,表示單詞“exists”。
例如: x 或(x) :對於所有的x來說 "for all x" (written with an inverted A, {LaTeX} for all) x 或(x ):存在着一個(一些 )x ,“there exists some x ." (written with a reversed E, {LaTeX} exists)。