图论符号

图论符号

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

在此处输入图片描述

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

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

在此处输入图片描述

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

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

但结果并不好。

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

答案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}

在此处输入图片描述

答案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}}}

相关内容