Am Sonntag, 5. November 2006 17:26 schrieb Georg Baum: > Am Sonntag, 5. November 2006 17:12 schrieb Michael Gerz: > > Why is biggg/Biggg not used in the frontend? > > Because it is only defined in one special font (I forgot which one, but > IIRC there should be a comment somehere).
Yep, it is in lib/symbols. Georg
