Das eröffnet ja ungeahnte Möglichkeiten! statt old_name dann ???= statt alt_name dann ???ℯ= statt alt_name_1= dann ???= statt alt_name_2= dann ???= statt var_name_47= dann ???= etc. Ich liebe Unicode!