Como criar subconjunto com símbolo sim

Como criar subconjunto com símbolo sim

Tenho tentado compor como operador o símbolo ⫇ ( \subsetno topo a \sim), mas as soluções a seguir não foram úteis

  • ⫇ não parece estar listado em símbolos-a4.pdf, então o detexify não o encontra.
  • \limitse \undersetcoloca o til (ou \sim) muito separado de \subset.
  • Usar \undertildeparece feio.

Existe alguma outra opção para obter este símbolo?

Responder1

Adaptandosolução de 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}

saída de amostra

Adapte os parâmetros ao seu gosto.

Responder2

Aqui está uma maneira direta de usar \substackfromamsmath:

insira a descrição da imagem aqui

\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}

A definição também pode ser atualizada para acomodar o uso em sub/sobrescritos.

Responder3

Você notou que o símbolo está em Unicode como ⫇ (U + 2AC7), então se você estiver usando xetex ou luatex e unicode-math, isso simplesmente funcionaria. Também está nas fontes STIX, das quais existe uma versão beta agora com suporte para TeX clássico:http://www.stixfonts.org/

Responder4

A solução do pobre homem

O exemplo a seguir constrói o símbolo ⫇ colocando \simabaixo \subset. O \simé definido em uma fonte menor, se o estilo matemático atual for \displaystyleou \textstyle, então \scriptstyleserá usado para \sim, se o estilo matemático atual for \scriptstyleou \scriptscriptstyleentão \scriptscriptstylefor usado para \sim. Como neste último caso a fonte não é menor, esta solução funciona para \displaystyle, \textstyle, e \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}

Resultado

Observações:

  • O menos mostra o eixo matemático.
  • No último caso (c ⫇ c) \simé um pouco grande porque a expressão está definida \scriptscriptstyle, veja acima.

informação relacionada