A^⊤ = transpose matriks A^⊥ = kode ganda A^⊢ = tidak digunakan (penutupan deduktif?) A^⊣ = tidak digunakan (penutupan deduktif jahat?)