Sign up ×
TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. It's 100% free, no registration required.

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:

enter image description here

Adding a space \ makes "too much space".

Is there a neat way to typeset such a thing ?

share|improve this question
There is also an half-space \,. – Martin Scharrer Dec 5 '11 at 16:55
Since this is used as a relation, use \mathrel{\unlhd} instead. It will allow for the appropriate spacing around the operator/relation. How do you currently typeset the relation - please show the entire code that produced the image. It seems like you might not be using math mode correctly. – Werner Dec 5 '11 at 16:56
@Werner, I simply typed $H\unlhd G inside a paragraph. Your solution works really fine, thank you! – Klaus Dec 5 '11 at 17:00
For very bizarre reasons latexsym classifies \unlhd as a binary operation symbol. Either use the command suggested by Martin, or say in your preamble \DeclareMathSymbol\unlhd{\mathrel}{lasy}{"02}, after \usepackage{latexsym}; in this way $H\unlhd G$ will render correctly. – egreg Dec 5 '11 at 17:13
By the way, in all of these answers, it's probably a good idea for you to define a personal macro for this symbol, like \nsub (normal subgroup?). That way, first, you save a lot of writing, and second, if you decide again that you hate the symbol, you can change it easily. Semantic markup and all that. – Ryan Reich Dec 5 '11 at 17:39

2 Answers 2

up vote 20 down vote accepted

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

$H\trianglelefteq G$


share|improve this answer

Appropriate math spacing for relational operators is obtained using \mathrel:

share|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.