)A double dot symbol , meanwhile, later came to be used as a full stop or to mark a change of speaker.A variant was introduced to English orthography around 1600, marking a pause intermediate between a comma and a full stop.