\dashv-Tex 命令介绍

\dashv 命令是 TeX 中的一个符号，用于表示垂直变体关系。在 TeX 中，它通常和 \vdash 命令一起使用，表示一个公式或命题是另一个公式或命题的推断。

语法

\dashv 命令的语法如下：

\dashv

示例

下面给出一些使用 \dashv 命令的示例：

% 导入 amsmath 宏包
\usepackage{amsmath}

% 使用 \dashv 命令
$a \dashv b$

% 使用 \vdash 和 \dashv 展示推断关系
\[
  \frac{\Gamma,x:A \vdash e:B}
       {\Gamma \vdash \lambda x:A.e : A \rightarrow B}
       \qquad
  \frac{\Gamma \vdash e_1:A \rightarrow B \quad \Gamma \vdash e_2:A}
       {\Gamma \vdash e_1 e_2:B}
\]

输出

使用 \dashv 命令会在公式中插入一个垂直变体关系符号。

推断关系中使用 \vdash 和 \dashv 命令，可以表示出推断关系。

$a \dashv b$

$$ \frac{\Gamma,x:A \vdash e:B} {\Gamma \vdash \lambda x:A.e : A \rightarrow B} \qquad \frac{\Gamma \vdash e_1:A \rightarrow B \quad \Gamma \vdash e_2:A} {\Gamma \vdash e_1 e_2:B} $$

以上即为 \dashv 命令的介绍。