Vi har en interessant diskussion om, hvorvidt det er valgfrit at skrive klokkeslæt med kolon eller punktum. Altså 11:23 eller 11.23. Er det valgfrit, og hvad er i modsat fald korrekt? På forhånd tak for hjælpen …

Det fremgår ikke eksplicit, at der er valgfrihed mellem kolon og punktum i forbindelse med tidsangivelse. Men i Politikens Bog om Tegn og Tegnsætning står alligevel følgende under afsnittet for hvert af de to tegn:

Kolon:

Man kan sætte kolon

3. Mellem tal

Tidsangivelse
I digitale tidsangivelser kan man sætte kolon mellem timetal, minuttal, sekundtal osv.
–  “Klokken 22:30”
–  “Han løb et maraton på 03:30:37”

Punktum:

Man kan sætte punktum

3. I klokkeslæt
Man kan sætte punktum mellem timer og minutter og mellem minutter og sekunder.
–  “Programmet starter præcis kl. 15.15”
–  “Han løb Københavns Maraton i tiden 2.48.02”

Det antyder altså, at der er en form for valgfrihed, men hvornår er noget en digital tidsangivelse, og hvornår er det et klokkeslæt, kan man så spørge.