[U+22A4] · 數學運算子 · ⊦ → ... 符號编辑. ⊥. (邏輯學) 矛盾; (代數, 邏輯學) false對應的Boolean值; (類型論) Bottom type; (計算機, 過時) ISO 2047中開始輸入 ...
確定! 回上一頁