TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

How can I write the symbol

enter image description here

for a proper ideal?

The standard relations \leq,\subseteq both have a "proper" version \lneq,\subsetneq, but I was unable to find a "proper" version of either \unlhd or \trianglelefteq.

Any suggestions?

share|improve this question
up vote 9 down vote accepted

You can do by superimposing the symbols:



$I\properideal A$

enter image description here

A version that changes size in subscripts/superscripts; some artifacts may appear at low screen resolution.


$I\properideal A_{\properideal_{\properideal}}$

enter image description here

share|improve this answer
great, thank you – Leon Nov 6 '11 at 0:57
Is there any other way of doing this? The $<$ bit of this symbol is bold when I put it into a document, which is less than ideal... – user1729 May 9 '12 at 15:36
@user1729 Maybe a follow-up question with a minimal example is better. – egreg May 9 '12 at 15:38
I was contemplating asking a new question, but I thought I would ask briefly here first. What do you mean by "a minimal example"? – user1729 May 9 '12 at 15:43
An example of a .tex document that exhibits the problem, including all necessary packages. Don't forget a link to this question. – egreg May 9 '12 at 15:50

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.