是否有表示概率因果关系的（叉）符号？逻辑

Question

我找到了干草叉，但没有找到与 Salmon 1989 中的解释类似的

谢谢！！

Answer 1

因为它应该是连接词，所以类型为\mathbin；然后我们可以使用 TeX 的关系规则：

\documentclass{article}

\newcommand{\fork}{%
  \mathbin{%
    \supset
    \mathrel{\mkern-9mu}%
    \mathrel{-}%
  }%
}

\begin{document}

The connective for the fork is $\fork$
and we can write $a\fork b$ or also
$a\fork_u b$.

\end{document}

根据您的喜好选择字距。

Answer 2

最简单的方法是，我建议将 a\supset和 a简单重叠-，并使用字距来实现重叠。但是，A Rmano 指出，这可能与相邻材料之间的间距不合适。因此，如果有人想要一个通用符号，可以适用于各种数学风格，我在这里提供了\fork。

已编辑，\mathbin而不是\mathrel。

\documentclass{article}
\usepackage{scalerel}
\newcommand\fork{\mathbin{\ThisStyle{{\supset}\kern-\dimexpr.5\LMex+3pt\relax{-}}}}
\begin{document}

$\supset\mkern-15mu-_\mathrm{u}$

$\fork_\mathrm{u}$
$\scriptstyle \fork_\mathrm{u}$
$\scriptscriptstyle \fork_\mathrm{u}$
\end{document}

Answer 3

Mnsymbol和Mdsymbol都有\rightpitchfork字形（实际上还有不少其他的pitchforks）。下面是使用它的方法，以及\leftpitchfork，而无需加载 Mnsymbol。此外，我还定义了一个可扩展版本 \xleftfork。它们有粗体版本。

\documentclass[12pt]{article}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{lmodern, mathtools}

\DeclareFontFamily{U}  {MnSymbolA}{}
\DeclareSymbolFont{MnSyA}         {U}  {MnSymbolA}{m}{n}
\SetSymbolFont{MnSyA}       {bold}{U}  {MnSymbolA}{b}{n}
\DeclareFontShape{U}{MnSymbolA}{m}{n}{
<-6>  MnSymbolA5
<6-7>  MnSymbolA6
<7-8>  MnSymbolA7
<8-9>  MnSymbolA8
<9-10> MnSymbolA9
<10-12> MnSymbolA10
<12->   MnSymbolA12}{}
\DeclareFontShape{U}{MnSymbolA}{b}{n}{
<-6>  MnSymbolA-Bold5
<6-7>  MnSymbolA-Bold6
<7-8>  MnSymbolA-Bold7
<8-9>  MnSymbolA-Bold8
<9-10> MnSymbolA-Bold9
<10-12> MnSymbolA-Bold10
<12->   MnSymbolA-Bold12}{}

\makeatletter
\newcommand{\xleftfork}[2][]{%
\ext@arrow 0079\xleftforkfill@{#1}{#2}%
}
\newcommand{\xleftforkfill@}{%
\arrowfill@\Mnrelbar\Mnrelbar{\mathrel{\leftpitchfork}}
}
\newcommand{\xrightfork}[2][]{%
\ext@arrow 0097\xrightforkfill@{#1}{#2}%
}

\DeclareMathSymbol{\rightpitchfork}{\mathrel}{MnSyA}{"88}%
\DeclareMathSymbol{\leftpitchfork}{\mathrel}{MnSyA}{"8A}%
\DeclareMathSymbol{\Mnrelbar}{\mathrel}{MnSyA}{"D0}%

\begin{document}

$ A \rightpitchfork B\enspace B \leftpitchfork A$
\bigskip

\boldmath      $ A \rightpitchfork B\enspace B \leftpitchfork A$
\bigskip

$C \xleftfork{\text{an extensible pitchfork}}D$

\end{document} 

Answer 4

在 Unicode 中也有类似的符号\nisd。但是，它是一个关系而不是二元运算符。并非所有字体都提供该符号，但 XITS 提供该符号。

\documentclass{article}
\usepackage{unicode-math}
\setmathfont{XITS Math}
\begin{document}
$a \nisd b$
\end{document}