Símbolo LaTeX para "\leftrightarrow" com "\triangleq"

Question

No LaTeX, existe algum símbolo para

Answer 1

Aqui estão duas alternativas possíveis. Em ambos os casos ( \symAe \symB), eu uso as setas esquerda e direita unidas para obter uma seta mais larga. A largura \mkernpode ser aumentada negativamente, se você quiser que a largura seja mais estreita. O \symAusa o \triangleqcomponente from amssymb, mas a lacuna vertical pode ser controlada com o argumento opcional to \stackon. O \symBnão exige amssymb, mas tenta imitar o sinal de igual cônico que você mostrou na sua figura, usando \rules empilhados. Novamente, os espaçamentos verticais são ajustáveis.

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

Answer 2

Não existe um símbolo pronto em si, mas você pode definitivamente criar um novo.

Basta definir uma nova macro usando \mathbinou \mathrel. Acho que você vai precisar do último, já que uma seta geralmente mostra uma relação.

Por favor, vejaaquidois entendem as diferenças sutis entre as duas soluções.

Você usa o\oversetcomando para empilhar seus operadores.

---

De qualquer forma aqui está a sua solução.

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

---

E aqui está um exemplo de saída.

Veja a sutil diferença de espaçamento entre os dois?

---

Na verdade, para o segundo \mathrelem torno da construção é redundante. Como apontado poregrégiaabaixo, \oversetmanterá orelação binárianatureza do seu segundo argumento.