[Tex/LaTex] How to get a double line subset symbol, (but not \Subset)

symbols

The symbol I'm looking for appears in maths when the closure of an open set is contained in a bigger set; it's like two \subset, but doesn't look like \Subset. It's similar to \ll. How can I typeset that symbol?

Some code showing the different symbols discussed above:

\documentclass{article}
\usepackage{amssymb}

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

enter image description here

Best Answer

I've seen the notation used in Rudin's book “Real and complex analysis”. Perhaps, simply doubling \subset is too crude. Here's a possible solution, top line is \subset\subset, bottom line \ssubset defined with some backspace between the two.

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

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

$A\ssubset B$
\end{document}

enter image description here

Related Question