☰

¿Cómo construir el siguiente símbolo (subconjunto con flechas)?

tag-icon • tag-icon arrows tikz-arrows relation-symbols
¿Cómo construir el siguiente símbolo (subconjunto con flechas)?

¿Cómo construir el siguiente símbolo?

ingrese la descripción de la imagen aquí

Respuesta1

Aquí hay un intento, ampliado:

Un subconjunto especial B

Y aquí está el código que lo produjo. Las macros de punta de flecha funcionan extrayendo los símbolos respectivos directamente delFuentes de símbolos LaTeX( lasy). Para obtener más información sobre \ooaligny amigos, consulte\subseteq + \circ como símbolo único ("subconjunto abierto").

\documentclass{article}

\makeatletter
\newcommand{\rightarrowhead}{\mathrel{%
  \hbox{\let\f@size\sf@size\usefont{U}{lasy}{m}{n}\symbol{41}}}}

\newcommand{\leftarrowhead}{\mathrel{%
  \hbox{\let\f@size\sf@size\usefont{U}{lasy}{m}{n}\symbol{40}}}}
\makeatother

\newcommand\specialsubset{\mathrel{\ooalign{$\subset$\cr%
  \hidewidth\raise.800ex\hbox{$\rightarrowhead\mkern1mu$}\cr%
  \hidewidth\raise.800ex\hbox{$\rightarrowhead\mkern4mu$}\cr%
  \hidewidth\raise-0.440ex\hbox{$\leftarrowhead\mkern2.75mu$}}}}

\begin{document}
$A \specialsubset B$
\end{document}

EDITAR: Tenga en cuenta que la alineación de las puntas de flecha se modifica cuando cambian los tamaños de fuente; Esto podría deberse a la imprecisión de la aritmética TeX en los parámetros \raisey \mkern. No estoy seguro. Sin embargo, como muestra la imagen, este código funciona bien en el tamaño de fuente predeterminado. Aun así, la desalineación solo se hace evidente cuando haces zoom en el tamaño de fuente \Huge.

Respuesta2

Ti obligatoriokSolución Z.

\documentclass{article}

\usepackage{tikz}
\usetikzlibrary{arrows.meta}
\usepackage{scalerel}

\makeatletter
  \begingroup
    \setbox\@tempboxa=\hbox{$\subset$}
    \@tempdima=\dp\@tempboxa
    \newbox\@sarabox
    \global\setbox\@sarabox=\hbox{%
      \begin{tikzpicture} [baseline=0pt, line cap=round]
        \node (subset) at (0,-\@tempdima) [above left, inner sep=0pt, outer sep=0pt] {$\subset$};
        \begin{pgfinterruptboundingbox}
          \draw (-2.5pt,5.2pt) edge [arrows={-[length=1pt]>[sep]>}] +(1.5pt,0pt)
                (-3pt,-.2pt)   edge [arrows={[length=1pt]<-}]       +(1.5pt,0pt);
       \end{pgfinterruptboundingbox}
      \end{tikzpicture}%
    }
    \global\ht\@sarabox=\ht\@tempboxa
  \endgroup
  \newcommand*\sara{\mathrel{\scalerel*{\usebox\@sarabox}{\subset}}}
\makeatother

\begin{document}

\(A \subset B\),
\(X_{A \subset B}\)

\(A \sara B\),
\(X_{A \sara B}\)

\end{document}

Salida MWE

Esto tiene la ventaja de ser muy adaptable. Si desea cambiar el tamaño de las puntas de las flechas o alargar el símbolo (como en la imagen de muestra), solo necesita modificar algunos números. (Aunque es necesario tener algo de cuidado con el cuadro delimitador para lograr una escala correcta).

información relacionada