![如何定义“vnodash”命令?](https://linux22.com/image/475731/%E5%A6%82%E4%BD%95%E5%AE%9A%E4%B9%89%E2%80%9Cvnodash%E2%80%9D%E5%91%BD%E4%BB%A4%EF%BC%9F.png)
我想排版以下序列:A | Γ ⊢ B。我试过了,
\documentclass{article}
\begin{document}
$A \mid \Gamma \vdash B$
\end{document}
但\mid
高度比 大得多\vdash
。我可以测量旋转门符号的高度并绘制匹配的垂直规则,但我无法从输出 PDF 中复制粘贴公式(而且我不确定厚度和圆角是否匹配)。
我愿意接受使用其他东西的想法\vdash
(例如来自turnstile
包的命令),只要有一个匹配的垂直条(你可以称之为\vnodash
)。
答案1
你可以缩放\mid
,以便
- 高度与 相同
\vdash
,并且 - 像 一样坐在底线上
\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}