A^⊤ = matriisin transponointi A^⊥ = kaksoiskoodi A^⊢ = käyttämätön (deduktiivinen sulkeuma?) A^⊣ = käyttämätön (paha deduktiivinen päätös?)