AMS 数学包中的 $\VDash$ 符号?

AMS 数学包中的 $\VDash$ 符号?

我正在尝试排版一些涉及集合论的作业,特别是我正在尝试写出“模型论”的强制概念。我将模型论放在引号中,因为我不知道它的正确名称。强制关系由给出$\Vdash$(即它看起来类似于||-),我正在寻找看起来像的关系||=,即有点像$\models$符号或$\vDash$但多了一个垂直线。

奇怪的是,AMS 软件包似乎有$\nVDash$(即我正在寻找的符号的否定),但没有$\VDash$。Detexify 似乎在这里帮不上忙。是否有任何符号看起来像$\VDash$我正在寻找的假设符号(希望在amsmathamsfonts或内amssymb,因为我通常喜欢减少需要安装的软件包数量以保持跨机器的可移植性)?

答案1

\models定义为(使用\pshow\modelswhere \def\pshow#1{{\let\protect\show #1}}):

\mathrel{|}\joinrel\Relbar

以类似的方式,我们可以定义\mmodels

\DeclareRobustCommand{\mmodels}{\mathrel{||}\joinrel\Relbar}

以下是两者的视觉效果:

在此处输入图片描述

\documentclass{article}
\DeclareRobustCommand{\mmodels}{\mathrel{||}\joinrel \Relbar}
\begin{document}
$\models\ \mmodels$
\end{document}

也许\mkern-2mu在两个垂直规则之间插入会看起来更好一些:

在此处输入图片描述

答案2

我可以提出两种解决方法,我将它们称为\VDashA和;前者比和\VDashB稍宽,后者在水平方向上收缩,从而使条形稍微变薄一些。\vdash\nVDash

\documentclass{article}
\usepackage{amsmath,amssymb,trimclip,adjustbox}

\newcommand{\VDashA}{%
  \mathrel{\text{\clipbox{0pt 0pt {.8\width} 0pt}{$\Vdash$}}\mkern.9mu}\vDash
}

\newcommand{\VDashB}{%
  \mathrel{
    \text{\clipbox{0pt 0pt {.8\width} 0pt}{$\Vdash$}}
    \mkern.9mu
    \text{\adjustbox{width=.87\width,height=\height}{$\vDash$}}
  }
}

\begin{document}

$\Vdash$

$\VDashA$

$\VDashB$

$\nVDash$

\end{document}

注意:在图像中,我人为地减少了线条之间的垂直空间,只是为了显示彼此更接近的符号并简化比较。

在此处输入图片描述

相关内容