如何在 ShareLaTeX 中编写双旋转门及其否定？

Question

我认为双旋转门的代码是\vDash，而其否定的代码是 \nvDash。这两个命令在 ShareLatex 中都不起作用。我输入它们，点击重新编译，什么都没有出现。我做错了什么？

梅威瑟：

\documentclass{article} 
\usepackage[utf8]{inputenc} 
\begin{document} 
\maketitle 
\vDash 
\nvDash 
\nvDash 
\end{document}

Answer 1

正如评论中提到的，您需要加载amssymb才能访问这些符号：

\usepackage{amssymb}

此外，

\maketitle

会出错，因为没有定义标题等。我只是从示例中删除了它，但在实际文档中，您可以使用\title{}等来设置。

此外，在文本模式下无法排版数学。默认情况下，TeX 假定我们处于文本模式。要切换到数学模式，您需要告诉 TeX 您想要做什么。

在 LaTeX 中执行此操作的最简单的两种方法是

$ <maths stuff> $

用于内联数学和

\[
  <maths stuff>
\]

对于应该单独显示的一行数学符号（例如，居中显示，前后留有一点垂直空间）。

综合起来

\documentclass{article}
\usepackage{amssymb}
\begin{document}
\[
  \vDash
  \nvDash
\]
\end{document}

给我们

对于更复杂的旋转闸门，turnstile可以使用。例如（出于演示目的，带有一些随机注释）：

\documentclass{article}
\usepackage{turnstile,amssymb}
\begin{document}
\[
  \sststile{\mathcal{L}}{}\quad \dststile{S}{a^+}\quad \ddtstile{T_1}{}\quad  \tdtstile{L_2}{\alpha\beta\gamma}
\]
\end{document}