☰

如何使用 sim 符号创建子集

tag-icon • tag-icon symbols amsmath math-operators
如何使用 sim 符号创建子集

我一直试图将符号 ⫇ （\subset在 a 之上\sim）排版为运算符，但以下解决方案没有帮助

  • ⫇ 似乎没有在 symbol-a4.pdf 中列出，所以 detexify 找不到它。
  • \limits并将\underset波浪号（或\sim）与 分开\subset。
  • 使用起来\undertilde很丑。

还有其他方法可以获得这个符号吗？

答案1

适应egreg 的解决方案：

\documentclass{article}
\usepackage{graphicx}

\newcommand\subsetsim{\mathrel{%
  \ooalign{\raise0.2ex\hbox{$\subset$}\cr\hidewidth\raise-0.8ex\hbox{\scalebox{0.9}{$\sim$}}\hidewidth\cr}}}
\begin{document}
\[
  A \subsetsim B
\]
\end{document}

示例输出

根据您的喜好调整参数。

答案2

这是一个直接使用的\substack方法amsmath：

在此处输入图片描述

\documentclass{article}
\usepackage{amsmath}% http://ctan.org/pkg/amsmath
\newcommand\subsetsim{\mathrel{\substack{
  \textstyle\subset\\[-0.2ex]\textstyle\sim}}}
\begin{document}
\[ f(x) \subset g(x) \subseteq h(x) \subsetsim i(x) \sim j(x) \]
\end{document}

该定义可以更新，以适应下标/上标的使用。

答案3

A 您已经注意到该符号在 Unicode 中为 ⫇ (U+2AC7)，因此如果您使用 xetex 或 luatex 和 unicode-math，它就可以正常工作。它也在 STIX 字体中，该字体现在有一个支持经典 TeX 的测试版：http://www.stixfonts.org/

答案4

穷人的解决方案

\sim下面的例子通过将 置于下方来构造符号 ⫇ \subset。如果当前数学样式为或，\sim则将 设置为较小的字体，如果当前数学样式为或 ，则将用作，如果当前数学样式为或，则将 用作。由于在后一种情况下字体不小，因此此解决方案适用于、和。\displaystyle\textstyle\scriptstyle\sim\scriptstyle\scriptscriptstyle\scriptscriptstyle\sim\displaystyle\textstyle\scriptstyle

\documentclass{article}  

\makeatletter
\newcommand*{\subsetsim}{%
  \mathrel{%
    \mathchoice
    {\@subsetsim\displaystyle\scriptstyle}%
    {\@subsetsim\textstyle\scriptstyle}%
    {\@subsetsim\scriptstyle\scriptscriptstyle}%
    {\@subsetsim\scriptscriptstyle\scriptscriptstyle}%
  }%
}   
\newcommand*{\@subsetsim}[2]{%
  \sbox0{$\m@th#1\subset$}%
  \sbox2{$\m@th#2\sim$}%
  \sbox4{$\m@th#2$}%
  \raisebox{.5\dimexpr\ht2-\ht4\relax}{% 
    \oalign{\copy0 \cr\hidewidth\copy2\hidewidth}%
  }%
}

\begin{document}

\[ a \subset a \sim a \subsetsim a - a_{b \subsetsim b_{c \subsetsim c}} \]

\end{document}

结果

评论：

  • 减号显示数学轴。
  • 在最新的案例 (c ⫇ c) 中，\sim有点太大，因为表达式设置在 中\scriptscriptstyle，见上文。

相关内容