/  
Eine Definition muß nicht zur [v|V]erkürzung Abkürzung eines Zeichenausdrucks dienen. Sie könnte auch zur Verlängerung oder zur Ersätzung durch einen schöneres Zeichen dienen.