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