☰

怀疑后果的象征

tag-icon • tag-icon symbols math-operators
怀疑后果的象征

我正在寻找一个象征怀疑论结果的符号，以便我可以写一些东西，乙，是其他事物的怀疑结果，A。

在我读过的一本书里，它被写成\(A \vdash B\)或，\(A \sststile{}{} B\)但水平线是波浪形的，就像\sim，与垂直线的宽度相同，并且不是宽度各不相同。因此，我要寻找的是一个二元关系符号，它类似于下图中前两个关系和最后一个关系的组合：

我正在寻找这些的综合关系符号

也就是说，类似于以下模型，但波浪线应该具有恒定的宽度并且与垂直线的宽度相同：

我想要的模型

我试过了解毒没有成功。

答案1

你所描述的似乎类似于本文使用的非单调推理关系符号。主要的区别在于两个字符之间有一个小空间，我认为这实际上比让它们接触看起来更好。

在此处输入图片描述

\documentclass{article}
\newcommand*{\nc}[2]{#1\mathbin{\left| \sim \vphantom{#1#2} \right.}#2}%

\begin{document}
$\nc{A}{B} \qquad \nc{\frac{A}{C}}{B}$
\end{document}

更新：这是直线和波浪线都调整大小并且两个符号接触的版本：

在此处输入图片描述

我已使用\scalebox该\graphicx包中的方法来调整符号的大小（水平调整波浪线的大小，垂直调整竖线的大小），具体取决于两侧操作数的高度。该数据\mathrlap取自一篇名为《TUGboat 22》的文章\smash、\llap 和 \rlap 的补充。我不是 type 命令使用方面的专家rlap，所以也许可以简化一些调整大小的代码。我也曾经pgf做过数学题，这可能有点过头了，但我更熟悉数学题，而不是在纯 TeX 中做数学题。

\documentclass[border=2pt]{standalone}
\usepackage{amsmath}%  only needed for \dfrac
\usepackage{graphicx}% needed for \scalebox
\usepackage{pgf}%      needed for the math calculations

% http://math.arizona.edu/~aprl/publications/mathclap/
\def\mathrlap{\mathpalette\mathrlapinternal}%
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}%

\makeatletter
\newdimen\@mydimen%
\newdimen\@myHeightOfBar%
\settoheight{\@myHeightOfBar}{$|$}%
\newcommand{\SetScaleFactor}[1]{%
    \settoheight{\@mydimen}{#1}%
    \pgfmathsetmacro{\scaleFactor}{\@mydimen/\@myHeightOfBar}%
}%

\newcommand*{\Scale}[2][3]{\scalebox{#1}{\ensuremath{#2}}}%

\newcommand*{\nct}[2]{%
    \SetScaleFactor{\vphantom{\ensuremath{#1#2}}}% Compute scale to be applied
    #1%
\mathrel{\Scale[\scaleFactor]{|\mathrlap{\kern-0.48ex\sim}\hphantom{\kern-0.41ex\sim}}}%
    #2%
}%

\begin{document}
$\nct{a}{b}  \qquad \nct{\frac{A}{C}}{B}  \qquad \nct{\dfrac{A}{C}}{B}$
\end{document}

该解决方案的增强版本允许您指定要放置在波浪线上方和下方的字符，可在后续问题中找到：与旋转门包装相匹配的怀疑结果符号

答案2

以下是使用\medvert和剪辑版\sim的MnSymbol包裹. 剪辑由adjustbox的\clipbox：

在此处输入图片描述

\documentclass{article}
\usepackage{MnSymbol}% http://ctan.org/pkg/mnsymbol
\usepackage{amsmath}% http://ctan.org/pkg/amsmath
\usepackage{adjustbox}% http://ctan.org/pkg/adjustbox
\begin{document}
\newcommand*{\skepcon}{\ensuremath{\mathrel{\medvert\mskip-5.7mu\clipbox{1 0 0 0}{$\sim$}}}}
$A\skepcon B$
\end{document}

这两个符号具有相同的固定宽度，而\sim不是不是加载中MnSymbol。

答案3

本网站建议：

\newcommand{\nc}{\,\mid\!\sim\,}

但也许值得用\mathrel或其他东西包裹它以达到适当的间距？

相关内容