eigentlich keine Tilde, sondern "wave dash" (deutsche Bezeichnung unklar, bei Wikipedia „Wellen-Geviertstrich“ ?). Als Auslassungszeichen etc.
Kommentare