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

triangle:

Adding a space `\`

makes "too much space".

Is there a neat way to typeset such a thing ?

Skip to content
# Normal Subgroups in LaTeX – Formatting and Spacing

amsmathmath-modespacing

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

triangle:

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.