⊥ ⊥ 垂直符号 ⊥
∏ ∏ 乘积符号 ∏