图论符号

Question

我正在编写一个包含一些图论符号的 TeX 文档，但有一些符号我无法获得：

我检查了 Word 中的 Cambria Math 字体，但当我使用 {unicode-math} 包时，它给出一个错误，提示必须使用 XeLaTeX 引擎而不是 pdf。当我将引擎更改为 XeLaTeX 时，文档不再编译。

另一种表示法是依赖表示法：

我无法正常制作。我尝试了这个：

    \newcommand{\indep}{\rotatebox[origin=c]{90}{$\models$}}
    \newcommand{\nindep}{\rotatebox[origin=c]{90}{$\not\models$}}

但结果并不好。

我怎样才能使这些符号看起来正确？

Answer 1

如果您不需要在\scriptstyle等中呈现它，那么这可能就足够了。

\documentclass{article}
\usepackage{graphicx}
\def\depend{\mathbin{%
  \ooalign{$\perp$\cr$\,\perp$\cr\scalebox{1.3}[.5]{\raisebox{5pt}{$\mkern2mu/$}}}}}
\begin{document}
$\mathcal{G}\depend X$
\end{document}

如果确实需要不同的数学风格，那么也许是这样：

\documentclass{article}
\usepackage{graphicx,scalerel}
\def\depend{\mathbin{\ThisStyle{%
  \ooalign{$\SavedStyle\perp$\cr$\SavedStyle\,\perp$\cr\scalebox{1.3}[.5]{%
    \kern-1pt\raisebox{5\LMpt}{$\SavedStyle\mkern4mu/$}}}}}}
\begin{document}
$\mathcal{G}\depend X$\par
$\scriptstyle\mathcal{G}\depend X$\par
$\scriptscriptstyle\mathcal{G}\depend X$
\end{document}

Answer 2

symbols-a4\independent在第 212 页（§10.3）中给出了可能的定义：

\newcommand\independent{\protect\mathpalette{\protect\independenT}{\perp}}
\def\independenT#1#2{\mathrel{\rlap{$#1#2$}\mkern2mu{#1#2}}}