∀字的解释

基本解释：

∀ 全称量词 ∀ x: P(x) 表示 P(x) 对于所有 x 为真。 ∀ n ∈ N: n2 ≥ n  
对所有；对任意；对任一  
谓词逻辑

详细解释：

∀的笔顺：