Wie schreibe ich ein logisches iff-Symbol?

Question

Ich höre gerade eine Vorlesung über formale Systeme (eine Informatikvorlesung).

<Der Dozent erstellt ein Symbol, das wie folgt geschrieben wird >:

Jedes Mal, wenn er es zeichnet, sagt er „genau dann wenn“.

Wie erstelle ich dieses Symbol mit LaTeX?

Answer 1

Und hier ist eine einfachere Definition als @egregs ooalign:

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

$A \gdw B$

Und optisch ist es besser:

Answer 2

Eine einfache Anwendung von \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}

Sehendiese Antwortfür einen Schnellkurs zu \ooalign. Was ist der Vorteil dieser kompliziert aussehenden Lösung gegenüber einem scheinbar einfacheren „Drucken >, Sichern und Drucken <“? Dass Sie die Breite des Symbols nicht schätzen müssen, die sich je nach verwendeter Schriftart ändern kann; mit \ooalignlaufen Sie nicht Gefahr, die Breite berechnen zu müssen.

Wenn Sie die innere Raute kleiner machen möchten, können Sie etwas Druck ausüben:

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

Andere Möglichkeit:

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

Dies erzeugt genau die gleiche Ausgabe wie das letzte (wobei die 2mu entsprechend angepasst werden müssen). Es ist in seiner Hinsicht einfacher, weil es \mathpaletteintern verwendet wird. Es nutzt die Tatsache aus, dass TeX kein Leerzeichen zwischen aufeinanderfolgenden Beziehungsatomen einfügt.

Answer 3

Dies ist der UnicodeU+2AA4mit dem Namen „GRÖSSER ALS, ÜBERLAPPEND, WENIGER ALS“.Hierkönnen Sie sehen, welche Schriftarten dieses Symbol unterstützen undHier, welche Schriftarten auf Ihrem System dies unterstützen.

Das MWE erfordert Lua- oder XeLaTeX. Es werden nur zwei Schriftarten angezeigt, die ich auf meinem PC gefunden habe. Natürlich sollte man die gewünschte Version in einem \mathrel-Befehl angeben.

% arara: lualatex

\documentclass{article} 
\usepackage{fontspec}

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