该\mapstochar
字符呈竖条状,边缘略圆,右侧中间有一个突起:
我试图得到相同的符号,但没有右侧的突起。
我查阅了《综合 LaTeX 符号列表》,查找了\mapstochar
( \mathchar"3237
) 的定义,并在这个网站上搜索了各种方法(例如,创建较小的垂直条),但找不到任何方法获得圆形竖杠。
答案1
图片模式。
\documentclass{article}
\usepackage{amsmath}
\usepackage{pict2e}
\makeatletter
\NewDocumentCommand{\smallbar}{}{%
\mathrel{\mathpalette\smallbar@\relax}%
}
\newcommand{\current@math@font}[1]{%
\ifx#1\displaystyle\textfont\else
\ifx#1\textstyle\textfont\else
\ifx#1\scriptstyle\scriptfont\else
\scriptscriptfont\fi\fi\fi
}
\newcommand{\smallbar@factor}[1]{%
\ifx#1\displaystyle 1.135\else
\ifx#1\textstyle 1.128\else
\ifx#1\scriptstyle 1.09\else
1.06\fi\fi\fi
}
\newcommand{\smallbar@}[2]{%
\begingroup
\sbox\z@{$\m@th#1\mapstochar$}%
\dimen0=\smallbar@factor{#1}\ht\z@
\dimen2=\dimeval{2\fontdimen22\current@math@font{#1} 2 - \dimen0}%
\mbox{%
$\m@th#1\mkern1mu
\begin{picture}(0,\dimen0)
\roundcap
\linethickness{\fontdimen8\current@math@font{#1}3}
\Line(0,\dimen2)(0,\dimen0)
\end{picture}%
\mkern1mu$%
}%
\endgroup
}
\makeatother
\begin{document}
$\mapstochar\,\smallbar$
$\scriptstyle\mapstochar\,\smallbar$
$\scriptscriptstyle\mapstochar\,\smallbar$
\end{document}