如何定义“vnodash”命令？

Question

我想排版以下序列：A | Γ ⊢ B。我试过了，

\documentclass{article}
\begin{document}
$A \mid \Gamma \vdash B$
\end{document}

但\mid高度比 大得多\vdash。我可以测量旋转门符号的高度并绘制匹配的垂直规则，但我无法从输出 PDF 中复制粘贴公式（而且我不确定厚度和圆角是否匹配）。

我愿意接受使用其他东西的想法\vdash（例如来自turnstile包的命令），只要有一个匹配的垂直条（你可以称之为\vnodash）。

Answer 1

你可以缩放\mid，以便

1. 高度与 相同\vdash，并且
2. 像 一样坐在底线上\vdash。

枪托不像那么圆润\vdash，但在印刷上应该不会有什么大问题。

\documentclass{article}
\usepackage{amsmath}
\usepackage{graphicx}

\makeatletter
\NewDocumentCommand{\vmid}{}{\mathrel{\mathpalette\vmid@\relax}}
\newcommand{\vmid@}[2]{%
  \begingroup
  \sbox\z@{$#1\vdash$}%
  \resizebox{\width}{\ht\z@}{\raisebox{\depth}{$\m@th#1|$}}%
  \endgroup
}
\makeatother

\begin{document}

$A \vmid \Gamma \vdash B$

\end{document}

Answer 2

你可以用和的\vnodedash组合来创造\mid-

\NewDocumentCommand{\vnodedash}{}{\mid\mkern -4.35mu\relax\mathrel{-}}

例子

\documentclass{article}

\NewDocumentCommand{\vnodedash}{}{\mid\mkern -4.35mu\relax\mathrel{-}}

\begin{document}
$A \mid \Gamma \vdash B$

$A \mid \Gamma \vnodedash B$

\end{document}