带有顶部和底部索引的数学 \vdash

Question

我想知道如何在数学模式下输入像图像上那样的符号。

万分感谢。

Answer 1

您希望声明一个新的数学运算符。为此，存在\DeclareMathOperator（由amsmath)：

\documentclass{article}

\usepackage{amsmath}

\DeclareMathOperator*{\VDash}{\vdash}

\begin{document}

See $\VDash_M^*$, or
\[
  \VDash_M^* abc.
\]

\end{document}

另请参阅\mathop、\operatorname和有什么区别\DeclareMathOperator？如果你不想的话宣布一个新术语。

Answer 2

您可以在 TeX 级别执行此操作：

\def\Vdash{\mathop{\vdash}}

$\Vdash_M^* abc$ and
$$
  \Vdash_M^* abc.
$$

\bye