Ký hiệu quan hệ phụ thuộc

Ký hiệu này chỉ sự phụ thuộc: các đối tượng liên quan không độc lập.

Trong lý thuyết mô hình, phân nhánh là một dạng phụ thuộc cụ thể giữa các đối tượng toán học hoặc kiểu của chúng—tập hợp các mệnh đề về hành vi có thể xảy ra. S. Shelah đưa ra khái niệm này.

Unicode xếp ⫝̸ vào logic phương trình, tức cách lập luận về các phương trình, và giải nghĩa là “không độc lập”.

Vì sao ⫝̸ có vẻ mang nghĩa ngược với ⫝?

Cách ghép đôi trái trực giác này đã được kiểm tra và giữ nguyên.

Năm 2001, một ý kiến về tiêu chuẩn nhận xét rằng ⫝̸ và ⫝ có vẻ bị đổi chỗ. Các biên tập viên vẫn giữ cách ghép này sau khi những nhà toán học tham gia đề xuất ký tự xác nhận.

Unicode phân rã chuẩn tắc ⫝̸ thành ⫝̸: ⫝ theo sau bởi một dấu gạch chéo tổ hợp. Quá trình chuẩn hóa có thể làm lộ chuỗi gồm hai phần này, dù nó vẫn biểu diễn một ký tự.