Auf der Seite RedAA 02.5 Suchen und Finden von Quellen kann genauer nachgelesen werden, wie die Suche mit dem Tipp-Makro funktioniert und was zu beachten ist.
Kurzfassung:
In der Suchleiste (Volltext-Suche links) den Begriff macroName: tip AND dena eingeben und mit der Entertaste suchen.
(dena ist hier nur ein Beispiel und kann durch den eigentlich zu suchenden Begriff ersetzt werden)