如何在 overleaf 中制作正规子群符号？

Question

Overleaf 表示\unlhd和\trianglelefteq都是未定义的控制命令，尽管\traingleleft它们运行正常。

我还能怎样制作正规子群符号，即

下面有一个等号。

Answer 1

你需要以下amssymb包：

\documentclass{article}
\usepackage{amssymb}

\begin{document}
$H \unlhd G$
\end{document}

或者甚至没有包你也可以说：

\documentclass{article}

\DeclareSymbolFont{AMSa}{U}{msa}{m}{n}
\DeclareMathSymbol{\Bhaskarunlhd}{\mathrel}{AMSa}{"45}

\begin{document}
$H \Bhaskarunlhd G$
\end{document}