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