☰

如何获取双线子集符号（但不是 \Subset）？

tag-icon • tag-icon symbols
如何获取双线子集符号（但不是 \Subset）？

我在数学中寻找的符号出现在一个开集的闭包包含在一个更大的集合中时；它就像两个\subset，但看起来不像\Subset。它类似于\ll。我该如何排版该符号？

一些代码显示了上面讨论的不同符号：

\documentclass{article}
\usepackage{amssymb}

\begin{document}
\ttfamily
\begin{tabular}{ll}
\string\subset  & $\subset$ \\
\string\Subset  & $\Subset$ \\
\string\ll          & $\ll$ \\
\end{tabular}
\end{document}

在此处输入图片描述

答案1

我看过 Rudin 的书《实数和复数分析》中使用的符号。也许，简单地加倍\subset太粗糙了。这是一个可能的解决方案，顶行是\subset\subset，底行\ssubset定义在两者之间有一些退格。

\documentclass{article}
\newcommand{\ssubset}{\subset\joinrel\subset}

\begin{document}
$A\subset\subset B$

$A\ssubset B$
\end{document}

在此处输入图片描述

答案2

如果您想要与 非常相似\ll，那么您可以使用这个符号，它将两个\subsets 重叠。它应该可以在所有尺寸下正常工作：

在此处输入图片描述

\documentclass{article}

\usepackage{mathtools}

\newcommand\ssubset{
  \mathrel{
    \mathrlap{\subset}
    \hphantom{\ll}
    \mathllap{\subset}
  }
}

\begin{document}

\[
  A\ssubset B_{A\ssubset B_{A\ssubset B}}
\]

\end{document}

在上面的代码中，我将其分成几行来展示发生了什么。当然，一行代码也可以正常工作：

\newcommand\ssubset{\mathrel{\mathrlap{\subset}\hphantom{\ll}\mathllap{\subset}}}

相关内容