Skip to content

Unify em dashes to spaced version#1188

Merged
mikeshulman merged 1 commit intoHoTT:masterfrom
danielzgtg:fix/unspaceEmDashes
Jul 23, 2025
Merged

Unify em dashes to spaced version#1188
mikeshulman merged 1 commit intoHoTT:masterfrom
danielzgtg:fix/unspaceEmDashes

Conversation

@danielzgtg
Copy link
Contributor

@danielzgtg danielzgtg commented Jul 21, 2025

Em dashes were annoyingly randomly spaced and unspaced. Edit: For mathematical writing, the spaced version was requested as clearer.

@danielzgtg danielzgtg force-pushed the fix/unspaceEmDashes branch 2 times, most recently from 963bbdb to 14a6031 Compare July 22, 2025 02:26
@mikeshulman
Copy link
Contributor

I know that most style guides recommend no spaces around em dashes, but I think there's an argument that in mathematical writing with inline math spaces are preferable, since an em dash adjacent to inline math without a space might be mistaken for part of the formula. I think we might even have had an informal convention of using spaces around em dashes. How many instances are there of em dashes without spaces?

@danielzgtg
Copy link
Contributor Author

danielzgtg commented Jul 22, 2025

There are 26 em dashes without spaces – forming 22.2% of the em dashes:

$ grep --include=\*.tex -ro '[^ ]---[^ ]' | wc -l
26
$ grep --include=\*.tex -ro ' --- ' | wc -l
90
$ grep --include=\*.tex -ro '^---[^ ]' | wc -l
0
$ grep --include=\*.tex -ro '^--- ' | wc -l
1

So if unspaced em dashes are ruled out, @mikeshulman, what should we convert the em dashes to?

  • Spaced en dashes (Standard British English, and similar width to unspaced em dashes)
  • Spaced em dashes (traditionally considered ugly but increasingly common such as on Quanta Magazine)

@mikeshulman
Copy link
Contributor

Well, we used spaced em dashes in the rest of the book, so I'd be inclined to standardize on that.

@danielzgtg danielzgtg force-pushed the fix/unspaceEmDashes branch 2 times, most recently from fae47de to 47abd63 Compare July 23, 2025 00:03
Em dashes were annoyingly randomly spaced and unspaced. For
mathematical writing, the spaced version was requested as clearer.
@danielzgtg danielzgtg force-pushed the fix/unspaceEmDashes branch from 47abd63 to 1f36555 Compare July 23, 2025 00:04
@danielzgtg danielzgtg changed the title Unify em dashes Unify em dashes to spaced version Jul 23, 2025
@danielzgtg
Copy link
Contributor Author

spaced em dashes in the rest of the book, so I'd be inclined to standardize on that.

I redid this to standardize on spaced em dashes as requested. The branch name is unchanged to avoid creating a new PR.

@mikeshulman
Copy link
Contributor

Thanks!

@mikeshulman mikeshulman merged commit c32edf9 into HoTT:master Jul 23, 2025
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants