Wie definiert man einen „vnodash“-Befehl?

Question

Ich möchte die folgende Sequenz setzen: A | Γ ⊢ B. Ich habe versucht,

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

hat aber \mideine viel größere Höhe als \vdash. Ich könnte die Höhe des Drehkreuzsymbols messen und eine passende vertikale Linie zeichnen, aber dann könnte ich keine Formeln aus der Ausgabe-PDF kopieren und einfügen (und ich bin nicht sicher, ob die Dicke und die Eckenrundung übereinstimmen würden).

Ich bin offen für die Idee, etwas anderes als zu verwenden \vdash(beispielsweise einen Befehl aus dem turnstilePaket), solange ein passender vertikaler Balken vorhanden ist (Sie können ihn nennen \vnodash).

Answer 1

Sie können \midso skalieren, dass es

1. hat die gleiche Höhe wie \vdashund
2. sitzt auf der Grundlinie wie \vdash.

Die Enden sind nicht so abgerundet wie bei \vdash, aber das sollte beim Drucken kein großes Problem darstellen.

\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

Sie können \vnodedashmit einer Assemblage von \midund erstellen-

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

Beispiel

\documentclass{article}

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

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

$A \mid \Gamma \vnodedash B$

\end{document}