Символ LaTeX для "\leftrightarrow" с "\triangleq"

Question

Существует ли в LaTeX какой-либо символ для

Answer 1

Вот две возможные альтернативы. В обоих случаях ( \symAи \symB) я использую как левую, так и правую стрелку, соединенные для получения более широкой стрелки. Можно \mkernувеличить отрицательно, если вы хотите уменьшить ширину. \symAИспользует \triangleqкомпонент из amssymb, но вертикальный зазор можно контролировать с помощью необязательного аргумента \stackon. \symBНе требует amssymb, но пытается имитировать сужающийся знак равенства, показанный вами на рисунке, с помощью сложенных \rules. Опять же, вертикальные интервалы можно регулировать.

\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

Готового символа как такового не существует, но вы определенно можете создать новый.

Просто определите новый макрос, используя либо , \mathbinлибо \mathrel. Я думаю, что вам понадобится последний вариант, поскольку стрелка обычно показывает связь.

Пожалуйста, посмотриздесьдвое понимают тонкие различия между двумя решениями.

Вы используете\oversetкоманда для объединения ваших операторов.

---

В любом случае, вот вам решение.

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

---

А вот пример вывода.

Видите тонкую разницу в расстоянии между ними?

---

На самом деле, для второго \mathrelвокруг конструкция излишняя. Как указалэгрегниже, \oversetсохранитбинарное отношениехарактер его второго аргумента.