Similar to メタ変数
合同否定
シークエント計算
Sequent calculus
垂直記号
Up tack
全称記号
Universal quantification
ダイヤ (シンボル)
Diamonds (suit)
ダウンタック記号
Tee (symbol)
チルダ
Tilde
バーティカルバー
Vertical bar
否定記号
否定論理積
Sheffer stroke
否定論理和
Logical NOR
部分構造論理
Substructural logic無矛盾
Consistency
矢印
Arrow (symbol)
リテラル
Literal (computer programming)
ロズンジ
論理的帰結
Logical consequence
添え字
Subscript and superscript
添字表記法
Index notation
族 (数学)
Indexed family
媒介変数
Parameter
パラメトリック方程式
Parametric equation
半角正接置換
Tangent half-angle substitution引数
Parameter (computer programming)
不定元
Indeterminate (variable)
変数 (プログラミング)
Variable (computer science)変数 (数学)
Variable (mathematics)
形式言語
Formal language
