正规子群

Question

为了排版 H 是 G 的正规子群，我会使用H\unlhd G。

但是，结果不能让我满意，因为 G 看起来太靠近三角形了：

添加空格\会导致“空间过多”。

是否有一个巧妙的方法来排版这样的东西？

Answer 1

\trianglelefteq包装上也有相同的符号amssymb。它提供了更宽的间距。

\documentclass{article}
\usepackage{amssymb}
\begin{document}
$H\trianglelefteq G$
\end{document}

Answer 2

使用以下方法可以获得关系运算符的适当数学间距\mathrel：

$H\mathrel{\unlhd}G$