A^⊤ = 矩陣轉置 A^⊥ = 雙重碼 A^⊢ = 未使用(推導閉包?) A^⊣ = 未使用(邪惡推導閉包?)