"dobbeltstrek" er et 12-bokstavers substantiv som brukes som synonym for "gjentagelsestegnet". gjentagelsestegnet betyr: To streker brukt for å markere gjentakelse