A^⊤ = matrisetransponert A^⊥ = dual kode A^⊢ = ubrukt (deduktiv lukking?) A^⊣ = ubrukt (ond deduktiv lukking?)