A^⊤ = 矩阵转置 A^⊥ = 对偶码 A^⊢ = 未使用(推导闭包?) A^⊣ = 未使用(邪恶推导闭包?)