¿Cómo escribo el símbolo iff lógico?

Question

Actualmente estoy escuchando una conferencia sobre sistemas formales (una conferencia de informática).

El conferenciante hace un símbolo que se escribe como superpuesto <y >:

Cada vez que lo dibuja, dice "genau dann wenn" (en alemán "si, y sólo si").

¿Cómo creo este símbolo con LaTeX?

Answer 1

Y aquí hay una definición más simple que @egregs ooalign:

\def\gdw{\mathrel{{>}\mkern-13mu{<}}}

$A \gdw B$

Y es ópticamente mejor:

Answer 2

Una aplicación sencilla de \ooalign:

\documentclass{article}

% Simple version if you don't need it in sub/superscripts
%\newcommand\gdw{\mathrel{\ooalign{$<$\cr$>$\cr}}}

% Fuller version
\makeatletter
\newcommand{\gdw}{\mathrel{\mathpalette\@gdw@\relax}}
\newcommand{\@gdw@}[2]{\ooalign{$\m@th#1<$\cr$\m@th#1>$\cr}}
\makeatother

\begin{document}
$X \gdw Y_{\gdw}$
\end{document}

Veresta respuestapara un curso rápido sobre \ooalign. ¿Cuál es la ventaja de esta solución de apariencia complicada sobre una aparentemente más simple “imprimir >, hacer una copia de seguridad e imprimir <”? Que no es necesario adivinar el ancho del símbolo, que puede cambiar según la fuente utilizada; con \ooalignno corres el riesgo de tener que calcular el ancho.

Si deseas hacer el rombo interior más pequeño, puedes agregar un poco de empujón:

\documentclass{article}

\makeatletter
\newcommand{\gdw}{\mathrel{\mathpalette\@gdw@\relax}}
\newcommand{\@gdw@}[2]{%
  \ooalign{$\m@th#1\@gdw@push<$\cr$\m@th#1>\@gdw@push$\cr}}
\newcommand{\@gdw@push}{\mkern2mu}% adjust to suit
\makeatother

\begin{document}
$X \gdw Y_{\gdw}$
\end{document}

Otra posibilidad:

\documentclass{article}
\usepackage{mathtools}

\newcommand{\gdw}{%
  \mathrel{\mathrlap{>}}% print > with zero width
  \mathrel{\mkern2mu}% some small spacing
  <% print the <
}

\begin{document}
$X \gdw Y_{\gdw}$
\end{document}

Esto produce exactamente la misma salida que el anterior (con los 2mu que se deben ajustar para adaptarlos). Es más sencillo en su aspecto, porque se utiliza \mathpaletteinternamente. Explota el hecho de que TeX no inserta espacios entre átomos de relación consecutivos.

Answer 3

este es el unicodeU+2AA4denominado "MÁS QUE SUPERPOSICIÓN MENOS QUE".Aquí, podrá ver qué fuentes admiten este símbolo yaquí, qué fuentes en su sistema lo proporcionan.

El MWE requiere Lua- o XeLaTeX. Solo muestra dos fuentes que encontré en mi PC. Por supuesto, debes definir tu versión preferida en un \mathrelcomando.

% arara: lualatex

\documentclass{article} 
\usepackage{fontspec}

\begin{document} 
\fontspec{Asana Math}\symbol{"2AA4}
\fontspec{XITS Math}\symbol{"2AA4}
\end{document}