A^⊤ = matriz transpuesta A^⊥ = código dual A^⊢ = no utilizado (cierre deductivo?) A^⊣ = no usado (¿cierre deductivo maligno?)