☰

使用什么命令来反转$\vDash$？

tag-icon • tag-icon symbols logic
使用什么命令来反转$\vDash$？

我想使用类似于

$\vDash$

但反转了（就像它镜像到一条假想的垂直线上一样）。我在任何地方都找不到这样的符号。我也用过 detexify，但也没用。

您知道我应该使用什么命令和包吗？

答案1

构造符号

如果字体没有提供符号，则可以使用包进行镜像graphicx：

\documentclass{article}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{graphicx}

\makeatletter
\providecommand*{\Dashv}{%
  \mathrel{%
    \mathpalette\@Dashv\vDash
  }%
}
\newcommand*{\@Dashv}[2]{%
  \reflectbox{$\m@th#1#2$}%
}
\makeatother

\begin{document}
\[ A \vDash B \Dashv C \]
\end{document}

结果

评论：

  • 带有内容的内容\mathpalette可确保符号在不同上下文中使用时（作为索引、分数等）能够正确缩放。

字体包MnSymbol

如果MnSymbol加载了包（它也会改变其他数学符号），那么该符号可用作\leftmodels：

\documentclass{article}
\usepackage{MnSymbol}
\begin{document}
\[ A \leftmodels B \]
\end{document}

结果 MnSymbol

字体包mathabx

mathabx如果使用包（也会改变其他数学符号），那么该符号被称为\Dashv：

\documentclass{article}
\usepackage{mathabx}
\begin{document}
\[ A \Dashv B \]
\end{document}

结果 mathabx

答案2

只需使用\达什夫从数学包裹。

几乎任何符号都可以在全面的 LaTeX 符号列表。

在此处输入图片描述

答案3

我认为，这才是逻辑学家的做法。请注意，项目作者特意决定不根据上下文调整垂直线的长度。例如，水平线的长度会根据其上方和下方的内容进行调整。

\documentclass{article}
\usepackage{turnstile}

\begin{document}

\[
  A \sdtstile{}{} B
\]
\[
  A \ndststile{}{} B
\]

\end{document}

两个旋转闸门

turnstile据我所知，使用 的优点是它非常灵活，可以生产您想要的几乎任何旋转闸门。当需要在水平线上方或下方放置某些东西时，它也会努力获得正确的间距。（命令如\vDash不能正确调整间距和线长。）

相关内容