A^⊤ = maticová transpozice A^⊥ = duální kód A^⊢ = nevyužité (deduktivní uzavření?) A^⊣ = nepoužito (zlé deduktivní uzavření?)