Für die Erstellung von Formelzeichen-Verzeichnissen bietet sich das Paket nomencl von Boris Veytsman und anderen Autoren an. Das Paket benötigt makeindex.
nomencl
makeindex
Eine weitere Option ist das sehr moderne Paket glossaries von Nicola Talbot.
glossaries