A^⊤ = trasposizione della matrice A^⊥ = codice duale A^⊢ = non utilizzato (chiusura deduttiva?) A^⊣ = non utilizzato (chiusura deduttiva malvagia?)