To typeset that H is a normal subgroup of G, I would use
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 ?
The same symbol is also available as
Appropriate math spacing for relational operators is obtained using