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