如何定義“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}