\lesscong 扩展 amssymb

Question

amssymb 包中有\lesssim和\lessapprox和\leqq。有没有办法构造\lesscong？

我查看了 amssymb.sty 文件，没有明显的方法来修改\DeclareMathSymbol定义初始三个的文件。

我熟悉将符号堆叠在一起的粗略命令，但我对 的美学感兴趣，以便\lesscong“适合”最初三个符号。我还对 的斜线和镜像变体感兴趣\lesscong，但我相信一旦我有 的“父”构造，我就可以创建它们lesscong。

几乎不相关：很久以前，我想创建\appprox一个 ，它是由三个\sim符号堆叠在一起，使得连续两个符号之间的间距与\sim中的间距完全相同\approx。我忘了如何定义它，但它可能会有所帮助。

\newcommand{\appprox}{\mathrel{\vcenter{\offinterlineskip\hbox{$\m@th\approx$}\vskip-2.50134pt\hbox{$\m@th\approx$}}}}

当然，如果我能自己找到一个好的解决方案，那么我也会在这里发布给其他人。

Answer 1

可以用一些\raiseboxes 来完成。生成的符号与\lesssim、\lessapprox和非常匹配\leqq，但有点高。

你怎么认为？

\documentclass{article}
\usepackage{amsmath}
\usepackage{amssymb}
\newlength{\congwidth}
\newlength{\congheight}
\settowidth{\congwidth}{$\cong$}
\settoheight{\congheight}{$\cong$}
\newcommand{\lesscong}{%
    \mathrel{\smash{%
        \raisebox{-.5\congheight}{$\cong$}%
        \hspace*{-\congwidth}%
        \raisebox{.6\congheight}{$<$}%
    }}%
}
\begin{document}
\begin{tabular}{ll}
    \verb|\lesssim|     & \( A \lesssim B \) \\
    \verb|\lessapprox|  & \( A \lessapprox B \) \\
    \verb|\leqq|        & \( A \leqq B \) \\
    \verb|\lesscong|    & \( A \lesscong B \) \\
\end{tabular}
\end{document}

Answer 2

这是定义此类符号的通用命令。内部宏\gl@over采用可选参数（用于设置垂直间距，默认为 1pt）、< 或 > 符号以及要置于下方的符号。

\documentclass{article}
\usepackage{amsmath,amssymb}

\makeatletter
\newcommand{\lesscong}{\mathrel{\gl@over{<}{\cong}}}
\newcommand{\lesssimeq}{\mathrel{\gl@over{<}{\simeq}}}
\newcommand{\gtrcong}{\mathrel{\gl@over{>}{\cong}}}
\newcommand{\gtrsimeq}{\mathrel{\gl@over{>}{\simeq}}}
\newcommand{\gl@over}[3][1pt]{%
  \vcenter{\m@th\offinterlineskip\ialign{%
    \hfil$##$\hfil\cr #2\cr \noalign{\vskip#1} #3\cr
  }}%
}
\makeatother

\begin{document}

\begin{tabular}{ll}
\verb|\lesssim|    & \( A \lesssim B \) \\
\verb|\lessapprox| & \( A \lessapprox B \) \\
\verb|\leqq|       & \( A \leqq B \) \\
\verb|\lesscong|   & \( A \lesscong B \) \\
\verb|\lesssimeq|  & \( A \lesssimeq B \) \\
\verb|\gtrsim|    & \( A \gtrsim B \) \\
\verb|\gtrapprox| & \( A \gtrapprox B \) \\
\verb|\geqq|       & \( A \geqq B \) \\
\verb|\gtrcong|   & \( A \gtrcong B \) \\
\verb|\gtrsimeq|  & \( A \gtrsimeq B \) \\
\end{tabular}

\end{document}

计算留给 TeX。