☰

“分叉独立”（模型理论）的 LaTeX 符号是什么？

tag-icon • tag-icon symbols logic
“分叉独立”（模型理论）的 LaTeX 符号是什么？

我正在寻找一种方法来设置“分叉独立”的符号（例如，参见“基本稳定性理论”，Steven Buechler，第 217 页）。它看起来有点像一个锚或一个带有弯曲条的倒置“T”。

答案1

我认为这个符号在任何典型的包中都不存在，所以看起来你必须自己动手。你可以将包\smile中的符号amssymb与\vert一行组合起来。下面是一种基于用另一个符号覆盖符号和\subseteq + \circ 作为单个符号（“开子集”）。

\documentclass{article}
\usepackage{amsmath,amssymb}
\def\forkindep{\mathrel{\raise0.2ex\hbox{\ooalign{\hidewidth$\vert$\hidewidth\cr\raise-0.9ex\hbox{$\smile$}}}}}

\begin{document}
The symbol by itself: $\forkindep$

The symbol used with \verb|\underset|: $A \underset{C}{\forkindep} B$
\end{document}

答案2

一种变体，使用\oalign而不是\ooalign；仅当符号被视为二元关系时，间距才会正确

\documentclass[a4paper]{article}
\newcommand{\forkindep}[1][]{%
  \mathrel{
    \mathop{
      \vcenter{
        \hbox{\oalign{\noalign{\kern-.3ex}\hfil$\vert$\hfil\cr
              \noalign{\kern-.7ex}
              $\smile$\cr\noalign{\kern-.3ex}}}
      }
    }\displaylimits_{#1}
  }
}

\begin{document}
$A\forkindep[C]B$
\[
A\forkindep[C]B
\]
\end{document}

这会将（可选）参数排版为文本样式中的下标，并位于显示样式中的符号下方。

在此处输入图片描述

答案3

Unicode 在 处有该符号0x2ADD，因此您可以使用 XeTeX 执行以下操作：

\XeTeXmathchardef\nonforking"3"2"2ADD
% ^take from symbol family ("2), and define as relation ("3)
$ A \nonforking_C B $
$\displaystyle A \mathop{\nonforking}_C B $ % note: changed from rel to op

在此处输入图片描述

这当然需要加载适当的字体等（例如unicode-math，它已经定义为\forksnot）

答案4

\usepackage{MnSymbol}包括您还可以使用的包\downfree（或者\ndownfree如果您想讨论依赖集）来表示所需的符号。

相关内容