> Ich habe jetzt "." als Zeichen für die zusätzlichen Trennstellen im
> Notentext genommen
Gute Idee.
> Das lässt sich aber noch leicht ändern (in z.B. "·", "|" oder "*").
Ja, »·« bietet sich auch an, falls Trennstellenmarker und Ergänzer
verschiedene Zeichen sein sollen.
Werner