논리적 iff 기호를 어떻게 작성하나요?

Question

나는 현재 형식 체계에 관한 강의(컴퓨터 공학 강의)를 듣고 있습니다.

<강사는 위에 다음 과 같이 쓰여진 기호를 만듭니다 >.

그는 그림을 그릴 때마다 "genau dann wenn"(독일어로 "if, and only if")이라고 말합니다.

LaTeX로 이 기호를 어떻게 만들 수 있나요?

Answer 1

@egregs ooalign보다 더 간단한 정의는 다음과 같습니다.

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

$A \gdw B$

그리고 광학적으로 더 좋습니다.

Answer 2

간단한 응용 프로그램은 다음과 같습니다 \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}

보다이 답변에 대한 빠른 과정을 보려면 \ooalign. 단순해 보이는 "인쇄 >, 백업 및 인쇄 <"에 비해 복잡해 보이는 이 솔루션의 장점은 무엇입니까? 사용된 글꼴에 따라 변경될 수 있는 기호의 너비를 추측할 필요가 없습니다. \ooalign너비를 계산해야 할 위험이 없습니다 .

내부 마름모를 더 작게 만들고 싶다면 다음과 같이 밀어넣기를 추가할 수 있습니다.

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

또 다른 가능성:

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

이는 마지막 출력과 정확히 동일한 출력을 생성합니다(2mu는 적절하게 조정됨). 내부적으로 사용하기 때문에 측면에서는 더 간단합니다 \mathpalette. 이는 TeX이 연속적인 관계 원자 사이에 공백을 삽입하지 않는다는 사실을 이용합니다.

Answer 3

이것이 유니코드다U+2AA4"더 큰 것보다 겹친 것보다 작은 것"이라는 이름이 붙었습니다.여기, 이 기호를 지원하는 글꼴과여기, 시스템의 어떤 글꼴이 이를 제공하는지.

MWE에는 Lua 또는 XeLaTeX가 필요합니다. 내 PC에서 찾은 두 개의 글꼴만 표시됩니다. 물론 \mathrel-command에서 원하는 버전을 정의해야 합니다.

% arara: lualatex

\documentclass{article} 
\usepackage{fontspec}

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