Rename `times` to `cross`
Nobody has claimed this yet.
Assessment
- Difficulty
- 5/5
- Estimated time
- Over a week
- Newbie friendliness
- 25/100
Research direction
The issue proposes renaming times to cross, while also raising support for both names as an alternative. No files, tests, or entry points are identified; first review the six-comment discussion and locate the existing times, infinity, and oo symbol definitions and references. Done requires an agreed naming direction and consistent handling of the affected symbols.
Written by the indexing model from the issue text.
Description
Pro:
- Easier to discover (at least in my experience), esp. if you already know that
dotrefers to a multiplication dot, then I'd expect to find the multiplication cross under the according name. - Nicely parallels the naming between cross and dot product.
timescould mean any kind of multiplication symbol;crossis more descriptive (esp. considering differing conventions, like in Germany, where the typical "times" symbol is almost always a dot).
Con:
- Precedent of HTML using
×, LaTeX using\times, and codepoints likeU+2297 CIRCLED TIMESin Unicode. - Might be assumed to refer to
crossmarkor similar. - Obviously quite breaking.
Concerning the last point, an alternative could be to support both names, similar to infinity and oo coexisting. I'm unaware if this proposal has been discussed and/or declined in the past.
- Dominant language
- Rust
- Stars
- 53
- Forks
- 22
- PR merge metrics
- No merged PRs in 30d
Getting set up
- No Dockerfile or Docker Compose file
- No pull request template
- Read the contributing guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
More from typst/codex
-
Difficulty 2/5 1-3 hours Newbie friendliness 75/100
-
Difficulty 4/5 3-5 days Newbie friendliness 35/100
-
Difficulty 3/5 1-2 days Newbie friendliness 55/100
-
Difficulty 2/5 1-3 hours Newbie friendliness 35/100
-
Lack of ⊻ U+22BBOpenproposal
Difficulty 2/5 1-3 hours Newbie friendliness 45/100
Similar issues
-
Difficulty 2/5 1-3 hours Newbie friendliness 62/100
Maintainers usually reply within 1 day
-
Difficulty 1/5 Under an hour Newbie friendliness 90/100
chroma-core/chroma#7879 ·
Maintainers usually reply within 1 day
-
priority middle
Difficulty 1/5 Under an hour Newbie friendliness 72/100
KATO-Hiro/AtCoderClans#12838 ·
Maintainers usually reply within 1 day
-
Difficulty 2/5 1-3 hours Newbie friendliness 72/100
Maintainers usually reply within 1 day
-
enhancement
Difficulty 2/5 1-3 hours Newbie friendliness 74/100
Maintainers usually reply within 1 day