¿Cómo definir un comando "vnodash"?

Question

Me gustaría escribir la siguiente secuencia: A | Γ ⊢ B. Lo he intentado,

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

pero \midtiene una altura mucho mayor que \vdash. Pude medir la altura del símbolo del torniquete y dibujar una regla vertical coincidente, pero luego no pude copiar y pegar fórmulas del PDF de salida (y no estoy seguro de que el grosor y el redondeo de las esquinas coincidan).

Estoy abierto a la idea de usar algo más que \vdash(por ejemplo, un comando del turnstilepaquete) siempre que haya una barra vertical coincidente (puede llamarla \vnodash).

Answer 1

Podrías escalar \midpara que

1. tiene la misma altura que \vdash, y
2. se sienta en la línea de base como \vdash.

Las colillas no son tan redondeadas como en \vdash, pero no debería ser un gran problema en la impresión.

\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

Puedes crear \vnodedashcon un ensamblaje de \midy-

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

Ejemplo

\documentclass{article}

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

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

$A \mid \Gamma \vnodedash B$

\end{document}