A^⊤ = matrix transpose A^⊥ = dual code A^⊢ = unused (deductive closure?) A^⊣ = unused (evil deductive closure?)