垂直短划线

Question

我正在寻找垂直短划线（类似于\vdash），但找不到。Fourier并且mathpazo包确实包含这个符号，但没有定义相应的宏。

Answer 1

如果您需要与 大小相同的垂直条\vdash，则可以使用picture模式构建它：

\documentclass{article}
\usepackage{pict2e}

\makeatletter
\DeclareRobustCommand{\medmid}{%
  \mathrel{\mathpalette\med@mid\relax}%
}
\newcommand{\med@mid}[2]{%
  \sbox\z@{$\m@th#1\vdash$}%
  \setlength{\unitlength}{\ht\z@}%
  \begin{picture}(.3,1)
  \roundcap
  \linethickness{%
    \ifdim\unitlength<0.9ex
      0.08%
    \else
    \ifdim\unitlength<1.2ex
      0.07%
    \else
      0.06%
    \fi
  \fi\unitlength}
  \polyline(.2,0.03)(.2,0.97)
  \end{picture}%
}


\begin{document}

$\medmid\vdash$\qquad $a\medmid b\mid c$

$\scriptstyle\medmid\vdash$

$\scriptscriptstyle\medmid\vdash$

\end{document}