☰

逻辑等价符号

tag-icon • tag-icon math-mode symbols
逻辑等价符号

我试图在我正在编写的 LaTeX 文档中使用这个符号，但我无论如何也找不到如何在 LaTeX 中编写它：

在此处输入图片描述

该符号表示两个表达式在逻辑上是等价的（即 A |==| B）有人能识别出缺失的符号吗？

答案1

如果不使用包，您可以这样做：

\documentclass{article}
\def\logequiv{\mathrel{\vert\mkern-3mu{=}\mkern-3mu{=}\mkern-3mu\vert}}
\begin{document}
$ A \logequiv B$
\end{document}

在此处输入图片描述

如果您不喜欢 s 的高度\vert，您可以这样做：

\documentclass{article}
\def\logequiv{\mathrel{%
  \rule{.3pt}{1.3ex}\mkern-1mu{=}\mkern-8mu{=}\mkern-2mu\rule{.3pt}{1.3ex}}}
\begin{document}
$ A \logequiv B$
\end{document}

在此处输入图片描述

答案2

实际上有一个专门用于排版此类符号的包。它们被称为旋转门，包名为turnstile。它包含在 TeX Live 中，可以排版任何类型的旋转门。它实际上是对以前基本上只是数学符号的一大改进。对于非常简单的旋转门，我有时会发现数学符号看起来更好，但这实际上取决于您需要什么以及上下文是什么（例如，您从哪里提取连接符号等）。无论如何，对于像这样的更复杂的旋转门，它绝对是我所知道的最佳选择：

\documentclass{article}
\usepackage{turnstile}
\newcommand*{\myequiv}{\sdststile{}{}}

\begin{document}

The symbol you need:
\[
  \myequiv
\]

A selection of other possibilities:
\[
    \sststile{T}{}\quad \sdtstile{a^+}{}\quad \dtdtstile{A}{B}\quad \nsttstile{}{C}
\]

\end{document}

产生（可能-我无法检查）：

选定的旋转闸门

请注意，问题中发布的示例图像右侧似乎有轻微的间隙。我很确定那里不应该有间隙。

答案3

如果您没有找到该符号（我相信有一个）作为一个唯一字符，您可以将另外两个符号组合起来以获得一个非常相似的符号。

从mathabx包中你可以定义

\newcommand{\myequiv}{\vDash\!\!\Dashv}

用作$A\myequiv B$。

在此处输入图片描述

相关内容