this post was submitted on 20 Jun 2025
197 points (93.0% liked)

Funny

10318 readers
981 users here now

General rules:

Exceptions may be made at the discretion of the mods.

founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
[–] mindbleach@sh.itjust.works 4 points 3 days ago

In English, distinguishing those two symbols has become an affectation. The straight "" style is all anyone actually types, and it's unremarkable to see that style rendered or printed.

The length of a dash is even less important than that. Any style guide that's insistent about it might as well demand you type movie names in a different font. Can it be done? Sure. Does it have semantic value? Maybe. But the only people who'd care also know how to pronounce LaTeX.

This is the language that abandoned an entire letter because it was hard to print.