「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}