Similar to ダイヤ_(シンボル)
∄
∧
∨
⊃
⊢
⊤
⊥
⊨
◊
外積 (曖昧さ回避)
キャレット
Caret
合同否定
シークエント計算
Sequent calculus
自由変数と束縛変数
Free variables and bound variables
ダウンタック記号
Tee (symbol)
否定論理積
Sheffer stroke
否定論理和
Logical NOR
部分構造論理
Substructural logic無矛盾
Consistency
メタ変数
Metavariable
リテラル
Literal (computer programming)ロズンジ
論理的帰結
Logical consequence
約物
JIS X 0213非漢字一覧
JIS X 4051
CJKの記号及び句読点
CJK Symbols and Punctuation
アスタリスク
Asterisk
