A^⊤ = Matrixtransposition A^⊥ = dualer Code A^⊢ = ungenutzt (deduktiver Abschluss?) A^⊣ = ungenutzt (böser deduktiver Abschluss?)