A^⊤ = 行列転置 A^⊥ = 双重符号 A^⊢ = 未使用(演繹閉包?) A^⊣ = 未使用(悪意ある演繹的閉鎖?)