En LaTeX, ¿existe algún símbolo para
Respuesta1
Aquí hay dos posibles alternativas. En ambos casos ( \symAy \symB), utilizo una flecha izquierda y derecha unidas para obtener una flecha más ancha. Se \mkernpuede aumentar negativamente si desea que el ancho sea más estrecho. Utiliza \symAel \triangleqcomponente from amssymb, pero el espacio vertical se puede controlar con el argumento opcional to \stackon. No \symBrequiere amssymb, pero intenta imitar el signo igual ahusado que mostró en su figura, usando \rules apiladas. Nuevamente, los espacios verticales son ajustables.
\documentclass{article}
\usepackage[usestackEOL]{stackengine}
\usepackage{amssymb}
\def\symA{\mathrel{\stackon[-0.8pt]{\leftarrow\mkern-6mu\rightarrow}%
{\scriptstyle\triangleq}}}
\def\symB{\mathrel{\stackon[.7pt]{\leftarrow\mkern-6mu\rightarrow}%
{\setstackgap{S}{0pt}\Shortstack{%
\scriptscriptstyle\triangle\\\rule[.8pt]{6pt}{0.25pt}\\\rule{8pt}{.25pt}}}}}
\stackMath
\begin{document}
$A \symA B \symB C$
\end{document}
Respuesta2
No existe un símbolo listo para usar en sí, pero definitivamente puedes crear uno nuevo.
Simplemente defina una nueva macro usando \mathbino \mathrel. Creo que necesitarás el último, ya que una flecha suele mostrar una relación.
Por favor miraaquídos entienden las sutiles diferencias entre las dos soluciones.
tu usas el\oversetcomando para apilar a sus operadores.
De todos modos aquí está tu solución.
\documentclass{article}
\usepackage{amsmath}
\usepackage{amssymb}
\newcommand{\leftrightarrowtriangleqbin}{\mathbin{\overset\triangleq\leftrightarrow}}
\newcommand{\leftrightarrowtriangleqrel}{\mathrel{\overset\triangleq\leftrightarrow}}
\begin{document}
$S \leftrightarrowtriangleqbin T$
$S \leftrightarrowtriangleqrel T$
\end{document}
Y aquí hay un resultado de muestra.
¿Ves la sutil diferencia de espacio entre los dos?
En realidad, para el segundo \mathrella construcción es redundante. Como lo señalaegrega continuación, \oversetmantendrá elrelación binarianaturaleza de su segundo argumento.