修改符号以实现不分叉

Question

我想修改以下几行代码

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

 \begin{document}
 $A \underset{C}{\forkindep}B$
 \end{document}

在发现“分叉独立”（模型理论）的 LaTeX 符号是什么？在分叉独立关系中，一条线后面跟着一个撇号（即 |'）。我尝试通过将 更改为 来实现这一点$\vert$。$\vert^{'}$然而，这导致线段与微笑符号无法正确对齐（我希望线段将微笑一分为二，但它在命令的左侧稍微偏了一点）。我想知道如何解决这个问题。

Answer 1

我可以提供针对链接问题的解决方案的变体：

\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}
  }
}
\newcommand{\nonforkindep}[1][]{%
  \mathrel{
    \mathop{
      \vcenter{
        \hbox{\oalign{\noalign{\kern-.3ex}\hfil$\vert$\rlap{$'$}\hfil\cr
              \noalign{\kern-.7ex}
              $\smile$\cr\noalign{\kern-.3ex}}}
      }
    }\displaylimits_{#1}
  }
}

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