Similar to 矢印
⊃
⊢
⊤
⊥
⊨
◊
外積 (曖昧さ回避)
合同否定
シークエント計算
Sequent calculus
自由変数と束縛変数
Free variables and bound variables
ダウンタック記号
Tee (symbol)
否定論理積
Sheffer stroke
否定論理和
Logical NOR
部分構造論理
Substructural logic無矛盾
Consistency
メタ変数
Metavariable
リテラル
Literal (computer programming)ロズンジ
論理的帰結
Logical consequence記号
Sign (semiotics)
C/o
C/o (Italy)
E-マーク
Estimated sign
役務商標マーク
Service mark symbolおまんこマーク
囲み英数字
Enclosed Alphanumerics
逆インテロバング
軍隊符号
Military symbol
校正記号
