正确排版关系

Question

我正在尝试排版一个关系。以下内容应为“< equals {...}”，与使用“x = {...}”的含义相同。

\documentclass{article}
\begin{document}
$< = \{(x, y), (y, z)\}$
\end{document}

但是，间距似乎不对：剩下的间距太小了=：

现在，我可以尝试使用\,及其相关工具来尝试获得正确的间距，但我想必须有一些明确的方法，而不需要明确修改间距。我读过一些类似的东西$<{} = \{...\}$，但这会导致空间太宽。

我想这个问题之前已经在这里回答过了，但我什么也找不到......

Answer 1

\mathord在之前使用<，表示它是一个符号。

$\mathord< = \{(x, y), (y, z)\}$

欲了解更多信息，请参阅这个答案。

Answer 2

符号<和=都是关系运算符。它们的定义fontmath.ltx如下所示：

\DeclareMathSymbol{=}{\mathrel}{operators}{"3D}
\DeclareMathSymbol{<}{\mathrel}{letters}{"3C}

它们被声明为\mathrel（关系运算符）。我的理解是，如果它们相邻，那么空格将被关闭。为了使其<表现得像普通字符，它应该被视为\mathalpha。所以：

\documentclass{article}
\begin{document}
$\mathalpha{<} = \{(x, y), (y, z)\}$
\end{document}

在上面的例子中，您将获得<和=符号之间的空格。

Answer 3

最简单的方法就是\;在 后面添加一个空格<。参见与 Jagath 和 ChrisS 的答案的比较：