[Tex/LaTex] Normal subgroups


To typeset that H is a normal subgroup of G, I would use H\unlhd G.

However, the result doesn't satisfy myself, since the G seems too close to the

enter image description here

Adding a space \ makes "too much space".

Is there a neat way to typeset such a thing ?

Best Answer

The same symbol is also available as \trianglelefteq from the amssymb package. It gives a much wider spacing.

$H\trianglelefteq G$