의존 관계 기호

관계에 놓인 대상들이 독립적이지 않고 서로 의존함을 나타냅니다.

모형 이론에서 포킹은 수학적 대상이나 그 유형 사이의 특정한 의존 관계입니다. 유형은 대상의 가능한 행동을 설명하는 명제들의 집합입니다. 셸라가 이 개념을 도입했습니다.

유니코드는 ⫝̸를 등식 논리(등식에 관해 추론하는 논리)에 속하는 기호로 두고 ‘독립이 아님’이라고 풀이합니다.

왜 ⫝̸는 ⫝와 반대 뜻처럼 보이나요?

직관에 어긋나는 짝이지만 확인 후 그대로 유지됐습니다.

2001년 표준화 의견에서는 ⫝̸와 ⫝의 뜻이 서로 바뀐 것처럼 보인다고 지적했습니다. 편집자들은 문자 제안에 참여한 수학자들이 확인한 뒤 이 짝을 유지했습니다.

유니코드는 ⫝̸를 ⫝̸로 정준 분해합니다. ⫝ 뒤에 앞 문자를 덮는 결합 사선이 오는 형태입니다. 정규화 과정에서 두 부분이 드러나도 같은 문자 하나를 나타냅니다.