A^⊤ = transposée de la matrice A^⊥ = code dual A^⊢ = inutilisé (fermeture déductive ?) A^⊣ = inutilisé (fermeture déductive malveillante ?)