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