論理・比較

編集方針で束ねた「論理・比較」記号 — 意味・符号化・0コードポイントをワンタップでコピー。

Proof atlas — orderings, implications, and relations traced through less-than or equal to, identical to, and therefore references that fuel predicate logic, set inclusion, and inference-facing typography.