否定旋转闸门？

Question

我想知道是否有人知道如何使用该包生成否定的旋转门符号。和turnstile的默认选项不行。 我想要与包提供的否定形式相同的选项。$\vdash$$\nvdash$turnstile

Answer 1

例如，您可以\not在 前面使用\vdash。但是， 的对齐\not可能不居中。在这种情况下，使用centernot带有命令的包\centernot：

\documentclass{article}
\usepackage{amsmath}
\usepackage{turnstile}
  \usepackage{centernot}
      \begin{document}
\[\begin{array}{lll}
\not\vdash &\not\sststile{A}{B}&\Gamma \not\sdtstile{\mathrm{LC}}{x,y,z,w} P\\ [1em] 
\centernot\vdash&\centernot{\sststile{A}{B}}&\Gamma \centernot{\sdtstile{\mathrm{LC}}{x,y,z,w}} P
\end{array}\]
    \end{document}

编辑：要获得\vdash和\nvdash，您只需加载amssymb包即可。

Answer 2

我在印刷品中看到过这种做法，否定是通过旋转栅门的垂直杆进行的。因此，我定义了一个命令\nturn，以旋转栅门作为其参数，并/使用 覆盖一个（略微凸起的）符号\lefteqn。

以下是代码：

\documentclass{article}
\usepackage{amsmath,turnstile}

\newcommand{\nturn}[1]{\lefteqn{\raisebox{.2ex}{/}}\mathbin{#1}}

\begin{document}
\[
\Gamma \nturn{\sdtstile{\mathrm{L}}{x,y}} P\quad\Gamma \nturn{\sststile{\mathrm{LPD}}{x,y}} P
\]
\end{document}