☰

(已解决)与 \mid 搭配起来好看的条件独立符号？

tag-icon • tag-icon symbols
(已解决)与 \mid 搭配起来好看的条件独立符号？

警告！这个问题是基于一个错误！不要浪费时间！

请注意：这个问题源于我的一个错误。不需要回答。赏金很可能不会授予任何人。我想删除它，但我不能，因为它有（非常好的）答案。我对由于我的错误而导致大家花费时间写答案感到非常抱歉。

我制作了一个文件来测试在 LaTeX 中编写条件独立符号的各种方法。由于其中一种方法涉及包含包MnSymbol，所以我包含了该包。但是这个包重新定义了一些数学符号，特别\perp是，这让我认为所有的解决方案看起来都很愚蠢。但事实上并非如此。编写条件独立符号的“通常”方法是执行，\perp\!\!\!\perp只要不包含，看起来就很好MnSymbol。

以下是我原来的问题文本，供参考。

我想排版一些涉及条件独立性的表达式。下面是我想要的一个例子（来自 Judea Pearl 关于因果关系的经典文本）：

在此处输入图片描述

在这个问题及其答案，给出了生成此符号的三种方法。前两种方法基于\perp：

\newcommand\ci{\perp\!\!\!\perp}

\newcommand\independent{\protect\mathpalette{\protect\independenT}{\perp}} % symbols-a4, p.106
\def\independenT#1#2{\mathrel{\rlap{$#1#2$}\mkern2mu{#1#2}}}

\upmodels第三个是包中的命令MnSymbol。以下是这三种方法在实践中的样子：

在此处输入图片描述

在我看来，这些都不太好看。问题在于和\perp是\upmodels为数学逻辑表达式设计的，并没有被设计成与\mid字符看起来和谐。垂直线的顶部与字符的顶部不齐\mid，我认为这使符号看起来太小了。

我尝试使用 s 和下划线制作自己的条件独立符号|，如下所示：（我确信这不是获得正确下划线高度的最佳方法，但它似乎有效。）

\newcommand\bigCI{\mathop{\underline{\raisebox{0pt}[0pt][1pt]{$\;||\;$}}}}

在此处输入图片描述

但让它延伸到基线以下这么远看起来很愚蠢。所以我的问题是，我怎样才能实现这样的效果，但水平线与字母的基线齐平（或可能略低于基线），垂直线的顶部与顶部齐平\mid？

最好尽可能避免使用额外的软件包，因为我希望这个问题的一个好的解决方案能够成为某种“标准”，至少对于那些使用 Computer Modern 字体的人来说是这样。如果无法使用标准命令来做到这一点，那么我想我可以尝试在 Tikz 中绘制它，但这似乎有点过头了。

答案1

那这个呢？

在此处输入图片描述

代码：

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

\newcommand{\bigCI}{\mathrel{\text{\scalebox{1.07}{$\perp\mkern-10mu\perp$}}}}

\begin{document}

\[
 A \bigCI B_{A \bigCI B_{A \bigCI B}}
\]

\end{document}

答案2

这是一个不太优雅的解决方案：

\documentclass{article}
\usepackage{amsmath,amssymb,graphicx}
\newcommand*{\bigCI}{%
  \mathrel{\text{%
    {\rotatebox[origin=c]{90}{\resizebox{2.25ex}{1.65ex}{$\vDash$}}}%
  }}%
}
\begin{document}
  \[\fboxsep=-0.9pt\fbox{$
    A \bigCI B \mid C
  $ }
  \] 
  \[
  A \bigCI B \mid C
  \]
  \[
  A \bigCI B_{\bigCI B \mid C_{\bigCI B \mid C}}
  \]
\end{document}

在此处输入图片描述

另一次尝试tikz：

\documentclass{article}
\usepackage{amsmath,tikz}
\newcommand*{\bigCI}{%
  \mathrel{\text{%
    {\begin{tikzpicture}[baseline = {(0,0)}]%
        \draw[line width = 0.1ex] (0,0) -- (0,1.7ex);
        \draw[line width = 0.1ex] (0.3ex,0) -- (0.3ex,1.7ex);
        \draw[line width = 0.1ex] (-0.8ex,0) -- (1.1ex,0);
     \end{tikzpicture}%
    }%
  }}%
}
\begin{document}
  \[\fboxsep=-0.9pt\fbox{$
    A \bigCI B \mid C
  $ }
  \]
  \[
  A \bigCI B \mid C
  \]
  \[
  A \bigCI B_{\bigCI B \mid C_{\bigCI B \mid C}}
  \]
\end{document}

在此处输入图片描述

答案3

您不需要使用\newcommand。您的符号是包的txfonts一部分pxfonts。

您必须在序言中插入：

\usepackage{txfonts} % https://www.ctan.org/tex-archive/fonts/txfonts

并在正文中插入：

\textit{\textbf{Symmetry:}} $(X \Perp Y | Z) \Rightarrow (Y \Perp X | Z)$.

\textit{\textbf{Decomposition:}} $(X \Perp YW | Z) \Rightarrow (X \Perp Y | Z)$.

\textit{\textbf{Weak union:}} $(X \Perp YW | Z) \Rightarrow (X \Perp Y | ZW)$.

结果是：

结果

相关内容