子集关系的变体，带有底层波浪线

Question

我正在寻找\subseteq关系的变体，但底层是波浪线而不是直线。换句话说，我正在寻找符号来替代以下示例最后一行打印的正方形。

\documentclass{amsart}
\usepackage{amssymb}
\begin{document}
\begin{align*}
\prec + \sim &= \precsim\\
< + \sim &= \lesssim\\
\subset + \sim &= \square
\end{align*}
\end{document}

我找不到任何匹配的符号解纤。

Answer 1

如果stix软件包给您带来一些不兼容性，您可以定义自己的符号，而无需任何额外的软件包：

\documentclass{amsart}
\usepackage{amssymb}

\newcommand{\subsetsim}{\mathrel{\ooalign{\raise.4ex\hbox{$\subset$}\cr$\raise-.9ex\hbox{$\sim$}$}}}

\begin{document}
\begin{align*}
\prec + \sim &= \precsim\\
< + \sim &= \lesssim\\
\subset + \sim &= \subsetsim
\end{align*}
\[ \precsim \lesssim \subsetsim \]
\end{document}

Answer 2

您可以使用以下包来实现accents：

\documentclass[border=2pt]{standalone}

\usepackage{amssymb, accents} %
\newcommand{\subsetsim}{\mathrel{\underaccent{\mkern6mu\sim}{{\subset}}}}
\newcommand{\supsetsim}{\mathrel{\underaccent{\backsim\mkern2mu}{{\supset}}}}%{\stackMath\mathrel{\stackinset{c}{0ex}{c}{-1ex}{\sim}{\subset}}}

\begin{document}

 $ E \subsetsim F \iff F \supsetsim E$

\end{document} 

Answer 3

将“子集”部分放置在与 相同的高度\subseteq。 也可以选择其他高度。

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

\makeatletter
\DeclareRobustCommand{\subsetsim}{\supsub@setsim\subset}
\DeclareRobustCommand{\supsetsim}{\supsub@setsim\supset}

\newcommand{\supsub@setsim}[1]{%
  \mathrel{\mathpalette\supsub@setsim@{#1}}%
}

\newcommand{\supsub@setsim@}[2]{%
  \begingroup
  \sbox\z@{$\m@th#1\subseteq$}%
  \raisebox{\dimexpr\ht\z@-\height}{%
    \vbox{\offinterlineskip
      \ialign{%
        ##\cr
        $\m@th#1#2$\cr
        \noalign{\vskip0.6pt}
        \hidewidth$\m@th#1\sim$\hidewidth\cr
      }%
    }%
  }%
  \endgroup
}
\makeatother

\begin{document}

$A\subseteq B \subseteq C$

$A\subseteq B \subsetsim C \precsim D$

$\scriptstyle A\subseteq B \subsetsim C$

\end{document}