Similar to キャレット
シークエント計算
Sequent calculus
自由変数と束縛変数
Free variables and bound variables
垂直記号
Up tack
全称記号
Universal quantification
ダイヤ (シンボル)
Diamonds (suit)
ダウンタック記号
Tee (symbol)
チルダ
Tilde▼-1 trends
バーティカルバー
Vertical bar
否定記号
否定論理積
Sheffer stroke
否定論理和
Logical NOR
部分構造論理
Substructural logic無矛盾
Consistency
メタ変数
Metavariable
リテラル
Literal (computer programming)
ロズンジ
論理的帰結
Logical consequence記号
Sign (semiotics)
C/o
E-マーク
Estimated sign
役務商標マーク
Service mark symbolおまんこマーク
囲み英数字
Enclosed Alphanumerics
逆インテロバング
軍隊符号
Military symbol
校正記号
シャープ (記号)
Sharp (music)
斜線付きゼロ
Slashed zero▼-1 trends
