依存関係の記号

関係する対象が独立ではなく、依存していることを示します。

モデル理論では、フォーキングは数学的対象やその型の間にある特定の依存関係です。型とは、対象に当てはまる可能性のある命題の集まりです。この概念はシェラが導入しました。

ユニコードは⫝̸を等式論理（等式について推論する論理）に分類し、「独立ではない」という意味を付けています。

なぜ⫝̸は⫝と逆の意味に見えるのですか？

直感に反する組み合わせですが、確認のうえ維持されました。

2001年、標準化への意見で⫝̸と⫝の意味が逆に見えると指摘されました。文字の提案に関わった数学者が確認したため、編集者はこの組み合わせを維持しました。

ユニコードでは⫝̸は⫝̸に正準分解されます。⫝の後に、前の文字に重なる斜線が続く形です。正規化によって二つの部分が見えても、表しているのは同じ一文字です。