A^⊤ = matrice transpusă A^⊥ = cod dual A^⊢ = neutilizat (închidere deductivă?) A^⊣ = nefolosit (închidere deductivă malefică?)