A^⊤ = التحويل المصفوفي A^⊥ = رمز مزدوج A^⊢ = غير مستخدم (إغلاق استنتاجي؟) A^⊣ = غير مستخدم (إغلاق استنتاجي شرير؟)