musings on various usages of tone indicators with the “pause in speech” sign 2024-11-29 boiledegghole: musings on various usages of tone indicators with the “pause in speech” sign