Eine Definition muß nicht zur Verkürzung || Abkürzung eines Zeichenausdrucks dienen. Sie könnte auch zur Verlängerung, oder zur Verschönerung des Zeichens dienen. || oder zur Ersetzung durch ein schöneres Zeichen dienen.