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