A^⊤ = chuyển vị ma trận A^⊥ = mã đối ngẫu A^⊢ = không sử dụng (đóng gói suy diễn?) A^⊣ = không sử dụng (đóng gói suy diễn ác độc?)