Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[enumerated.types,bitmask.types] Use \vdots and \ldots instead of ...… #2031

Merged
merged 1 commit into from May 7, 2018

Conversation

jensmaurer
Copy link
Member

….. mega-ellipses.

Partially addresses #1390.

@tkoeppe
Copy link
Contributor

tkoeppe commented Apr 14, 2018

@zygoloid, @jensmaurer: I think we really want to follow the logic of AmsMath's \dotsc, \dotsb, etc. macros, not blanket \cdots, and the guidance in #1390 should be adjusted accordingly.

@jensmaurer
Copy link
Member Author

@zygoloid said in #1390 that we wanted "center dots", but in this case, \ldots look substantially better. I've updated the pull request to use \ldots, so this can be applied right away once @zygoloid has changed his opinion.
@tkoeppe: We use both \ldots (45 appearances) and \dotsc (33 appearances). We should decide on one form. I've created #2032 to follow up on this.

@tkoeppe
Copy link
Contributor

tkoeppe commented Apr 14, 2018

@jensmaurer: they might not quite the same, though. \ldots is kind of generic, "presentational" form. \dotsc is specifically for use in math mode, I think: $x_0, x_1, \dotsc, x_n$. We should look more carefully at how \ldots and \dotsc are currently used; the status quo may already be WAI. (I.e. there may not be a text-equivalent of \dotsc, or rather, \ldots may already serve that role. The spacing in math mode is different, whence \dotsc.)

@jensmaurer
Copy link
Member Author

The predominant usage of \ldots in our standard is within math mode with comma-separated lists of things. The same statement applies to \dotsc.
As a first step, we should probably move towards \dotsc for comma-separated lists of things and see what remains.
@zygoloid?

@jensmaurer jensmaurer changed the title [enumerated.types,bitmask.types] Use \vdots and \cdots instead of ...… [enumerated.types,bitmask.types] Use \vdots and \ldots instead of ...… Apr 14, 2018
@tkoeppe
Copy link
Contributor

tkoeppe commented Apr 14, 2018

As Jens found out, ldots and dotsc look the same in math mode.

In math mode, the Ams-dot macros provide a richer set of semantic information than the "raw" ldots/cdots, so it might be nice to retain/start using those in math mode. I'd continue using ldots in text mode. I'm not sure if we ever need cdots in text mode.

@zygoloid
Copy link
Member

zygoloid commented May 7, 2018

Let's move the discussion to #1390. This looks good to merge as-is, as a start down this road.

@zygoloid zygoloid merged commit ae59b46 into cplusplus:master May 7, 2018
@jensmaurer jensmaurer deleted the b9 branch May 7, 2018 19:00
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.

None yet

3 participants