![垂直短划线](https://linux22.com/image/328647/%E5%9E%82%E7%9B%B4%E7%9F%AD%E5%88%92%E7%BA%BF%20.png)
我正在寻找垂直短划线(类似于\vdash
),但找不到。Fourier
并且mathpazo
包确实包含这个符号,但没有定义相应的宏。
答案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}