A^⊤ = транспонированная матрица A^⊥ = двойственный код A^⊢ = неиспользуемый (дедуктивное замыкание?) A^⊣ = неиспользуемый (злое дедуктивное замыкание?)