FOREIGN WORDS & PHRASES: Meaning "double point", the German doppelpunkt refers to this mark of punctuation