康威在《数字与游戏》中使用的关系符号

Question 1

编辑：根据 TH 的建议，这将是一个更好的命令：

\newcommand{\trel}{\mathrel{\mathsurround=0pt \mbox{\raisebox{1.2pt}{\tiny \textbf{\textbar }}$\rhd$}}}

（我决定明确地说出\mathsurround=0pt而不是仅仅调用，\m@th因为这样，如果 Mike 想将其粘贴到他的文档顶部，他就不必调用\makeatletter）

原来的：我不知道什么内置符号对应于您所描述的符号，但如果您只是想完成某件事，您可以使用这个：

\newcommand{\trel}{\mbox{\raisebox{1.2pt}{\tiny \bf \textbar }$\rhd$}}

（然后在\trel每次想要使用这种关系时使用）。

这是一次巨大的攻击，但是，就像我说的，它可能足以让你度过难关。

Answer

编辑：根据 TH 的建议，这将是一个更好的命令：

\newcommand{\trel}{\mathrel{\mathsurround=0pt \mbox{\raisebox{1.2pt}{\tiny \textbf{\textbar }}$\rhd$}}}

（我决定明确地说出\mathsurround=0pt而不是仅仅调用，\m@th因为这样，如果 Mike 想将其粘贴到他的文档顶部，他就不必调用\makeatletter）

原来的：我不知道什么内置符号对应于您所描述的符号，但如果您只是想完成某件事，您可以使用这个：

\newcommand{\trel}{\mbox{\raisebox{1.2pt}{\tiny \bf \textbar }$\rhd$}}

（然后在\trel每次想要使用这种关系时使用）。

这是一次巨大的攻击，但是，就像我说的，它可能足以让你度过难关。

Question 2

这里有一种方法可以做到：使用 XeTeX 并在文件中输入 UTF-8 .tex。

\documentclass{article}

\usepackage[utf8]{inputenc}
\usepackage{fontspec}
\setromanfont{DejaVu Sans}

\begin{document}
Assume that χ ⧐ 0, then \ldots
\end{document}

我在这里所做的是使用一个编辑器 (gedit)，它允许我输入和保存 UTF-8。我使用了字符映射表在 GNOME 中，这是一个程序，它允许您查看每个 Unicode 代码点、搜索特定代码点，并以系统上安装的不同字体显示它们。我猜 Mac 和 Windows 也有类似的程序。找到正确的代码点（U+29D0，右三角形旁边的竖线）后，我将其复制到剪贴板并粘贴到 gedit 中。我还复制了另一个字符，只是为了好玩，如您所见。

运行xelatex foo.tex此命令将得到输出（在中foo.pdf）。

XeLaTeX 输出

您可以选择其他字体 - 但如果缺少字形，那么您将得到空白而不是所需的字符。缺点是您不能使用默认的 LaTeX 字体 Computer Modern，因为它没有 ⧐ 字符。但使用 XeTeX，您可以使用所有系统字体，因此问题现在简化为查找（并可能安装）您喜欢且具有正确字形的字体。当然，您可以只更改这一个字符的字体，可能为其定义一个新命令。然后，您只需要选择一种字体，使此字形与 Computer Modern 字形配合良好。

Answer