And as @Belthazar has said elsewhere, the official name is 同の字点 (どうのじてん).
That’s a funny observation, since imabi even lists it on its punctuation page (down at the Ditto Marks section).
Imabi also has pages for Reduplication: Nouns and Reduplication: Adjectives that utilize this, if you’re interested in more usage examples.