Como escrevo o símbolo lógico iff?

Question

Atualmente estou ouvindo uma palestra sobre sistemas formais (uma palestra sobre ciência da computação).

O palestrante faz um símbolo que é escrito como sobreposto <e >:

Cada vez que o desenha, ele diz "genau dann wenn" (alemão para "se, e somente se").

Como faço para criar este símbolo com LaTeX?

Answer 1

E aqui está uma definição mais simples do que @egregs ooalign:

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

$A \gdw B$

E é óptico melhor:

Answer 2

Uma aplicação simples 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 respostapara um curso rápido sobre \ooalign. Qual é a vantagem desta solução de aparência complicada em relação a uma solução aparentemente mais simples de “imprimir >, fazer backup e imprimir <”? Que você não precisa adivinhar a largura do símbolo, que pode mudar com a fonte utilizada; com \ooalignvocê não corre o risco de ter que calcular a largura.

Se quiser diminuir o losango interno, você pode adicionar alguns empurrões:

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

Outra possibilidade:

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

Isso produz exatamente a mesma saída que o anterior (com o 2mu a ser ajustado para se adequar). É mais simples em seu aspecto, pois utiliza \mathpaletteinternamente. Ele explora o fato de que o TeX não insere nenhum espaço entre átomos de relações consecutivas.

Answer 3

Este é o UnicodeU+2AA4denominado "MAIOR QUE SOBREPOSIÇÃO MENOS QUE".Aqui, você poderá ver quais fontes suportam este símbolo eaqui, quais fontes em seu sistema fornecem isso.

O MWE requer Lua- ou XeLaTeX. Mostra apenas duas fontes que encontrei no meu PC. Claro, você deve definir sua versão preferida em um \mathrelcomando.

% arara: lualatex

\documentclass{article} 
\usepackage{fontspec}

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