Como definir um comando “vnodash”?

Question

Gostaria de compor a seguinte sequência: A | Γ ⊢ B. Eu tentei,

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

mas \midtem uma altura muito maior que \vdash. Eu poderia medir a altura do símbolo da catraca e desenhar uma régua vertical correspondente, mas não consegui copiar e colar fórmulas do PDF de saída (e não tenho certeza se a espessura e o arredondamento dos cantos corresponderiam).

Estou aberto à ideia de usar algo diferente \vdash(por exemplo, um comando do turnstilepacote), desde que haja uma barra vertical correspondente (você pode chamá-la de \vnodash).

Answer 1

Você poderia escalar \midpara que

1. tem a mesma altura que \vdash, e
2. fica na linha de base como \vdash.

As pontas não são tão arredondadas como no \vdash, mas não deve ser um grande problema na impressão.

\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

Você pode criar \vnodedashcom uma montagem de \mide-

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

Exemplo

\documentclass{article}

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

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

$A \mid \Gamma \vnodedash B$

\end{document}