`\asymp` 的不等式对应项

Question

我希望有对应于不等式类型的符号\asymp 。

我努力了

\newcommand{\ffrown}{\text{\raisebox{3pt}[0pt][0pt]{$\frown$}}}
\renewcommand{\O}{\underset{\ffrown}{<}}
\newcommand{\OG}{\underset{\ffrown}{>}}

并得到和，但这两个似乎不太匹配。

还有更好的解决方案吗？

Answer 1

您可以使用剪辑的\asymp符号，然后将其堆叠<或堆叠>在其上方。

该符号将自动缩放下标或上标。

\documentclass{article}
\usepackage{amsmath}
\usepackage{trimclip}

\makeatletter
\DeclareRobustCommand{\lasymp}{\lg@asymp{<}}
\DeclareRobustCommand{\gasymp}{\lg@asymp{>}}

\newcommand{\under@asymp}[1]{\clipbox{0pt 0pt 0pt {0.5\height}}{$\m@th#1\asymp$}}
\newcommand{\lg@asymp}[1]{\mathrel{\mathpalette\lg@asymp@{#1}}}
\newcommand{\lg@asymp@}[2]{%
  \vcenter{%
    \offinterlineskip
    \m@th
    \ialign{%
      \hfil##\hfil\cr
      $#1#2$\cr
      \under@asymp{#1}\cr
    }%
  }%
}
\makeatother

\begin{document}

$a \lasymp b \asymp c \gasymp d$

$\scriptstyle a \lasymp b \asymp c \gasymp d$

\end{document}