norvell@csri.toronto.edu (Theo Norvell) (09/26/90)
\lhd and \rhd (left and right pointing triangles) don't look so great at the best of times, but in scripts (sub and super) they are completely wrong. The challenge: supply \lhd and \rhd definitions that can be safely set in scriptstyle. Theo