A^⊤ = transposição de matriz A^⊥ = código dual A^⊢ = não utilizado (fechamento dedutivo?) A^⊣ = não utilizado (fechamento dedutivo maligno?)