Как определить команду «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}