"dobbeltlinje" er et 12-bokstavers substantiv som brukes som synonym for "gjentakingstegnet". gjentakingstegnet betyr: To linjer som brukes for å indikere gjentakelse.