A^⊤ = matristransponering A^⊥ = dual kod A^⊢ = oanvänd (deduktiv stängning?) A^⊣ = oanvänd (ond deduktiv avslutning?)