☰

可扩展 \cong 一致符号

tag-icon • tag-icon symbols amsmath
可扩展 \cong 一致符号

这个问题与可扩展等号但那里给出的解决方案并不立即适用。

有时我想澄清数学一致性的本质。所以我在序言中定义了

\newcommand*\morph[1]{\underset{\mbox{\tiny #1}}{\cong}}

因此，我可以写诸如\morph{diff}和之类的内容\morph{hom}来区分不同的一致性。但即使将\mbox内容设置为\tiny，文本仍然比一致性符号宽。有什么想法吗？

答案1

人们总是可以用来\resizebox拉伸符号。

\documentclass{article}
\usepackage{amsmath,graphicx}
\makeatletter
\newcommand*\morph[1]{%
    \setbox0=\hbox{\scriptsize#1}%
    \setbox2=\hbox{$\m@th{\cong}$}%
    \stackrel{\copy0}{%
        \ifdim\wd2<\wd0
            \resizebox{\wd0}{\ht2}{$\m@th{\cong}$}%
        \else
            \cong
        \fi
    }%
}
\begin{document}
\[X\morph{long text}Y\morph{i}Z\]
\end{document}

答案2

当然，虽然我同意不推荐这样做，但这也与我做的事情非常相似：我喜欢通过使箭头等更大一些来使它们在呈现时更显眼一些。所以我这样做的方法相当适合这种情况。

该方法就是使用...TikZ！

\documentclass{standalone}
\usepackage{tikz}
\usetikzlibrary{decorations.pathmorphing}

\newcommand{\xcong}[1]{%
\mathrel{\tikz[baseline=0pt] {
   \node[above] at (0,1.2ex) (a) {\(\scriptstyle #1\)};
   \draw[preaction={
      transform canvas={yshift=-.5ex},
      draw,
      decorate,
      decoration={lineto}},
     preaction={
      transform canvas={yshift=-1ex},
      draw,
      decorate,
      decoration={lineto}}]
    (a.south west) .. controls +(.25,.15) and +(-.25,-.15) .. (a.south east);
 }}}

\begin{document}
\(
A \cong B \quad A \xcong{a,b,c,d,e,f,g,h} B
\)
\end{document}

好吧，它不会赢得任何设计奖项……

可扩展一致性符号

相关内容