Is there a facility that will find all “\label” entries that never occur in a “\ref” command? That is, is there a way to eliminate all labels that are never cited? Clifford E. Weil Professor Emeritus Department of Mathematics Michigan State University East Lansing, MI, 48824-1027 USA