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