"dobbeltegn" er et 10-bokstavers substantiv som brukes som synonym for "gjentagelsestegnet". gjentagelsestegnet betyr: Tegn som indikerer at noe skal gjentas