A^⊤ = matrix transponeren A^⊥ = duale code A^⊢ = ongebruikt (deductieve sluiting?) A^⊣ = ongebruikt (kwade deductieve sluiting?)