\mapstochar 右侧没有凸起(即圆形竖线)

\mapstochar 右侧没有凸起(即圆形竖线)

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

在此处输入图片描述

相关内容