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.

Sign up for GitHub

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

Jump to bottom

Add entity "&diameter;" for U+2300 #6049

Closed
zed-vector opened this issue Oct 11, 2020 · 1 comment · Fixed by #7071
Closed

Add entity "&diameter;" for U+2300 #6049

zed-vector opened this issue Oct 11, 2020 · 1 comment · Fixed by #7071
Labels
addition/proposal New features or enhancements needs implementer interest Moving the issue forward requires implementers to express interest topic: parser

Comments

@zed-vector
Copy link

zed-vector commented Oct 11, 2020 •
edited
Loading

The diameter symbol U+2300 is widely used in engineering drawings, and in descriptions and specifications of parts such as bearings and raw materials such as round bar.

It would be jolly helpfull if we could write &diameter; instead of having to discover ⌀. It would greatly help with reading page source too.

Existing entities φ U+03A6, Ø U+00D8, and ∅ U+2205, are similar, but in many fonts not quite the same as the diameter symbol, and not so easy to find if your search string is "diameter symbol".

Another possible name would be &dia;, but that would risk confusion with ⋄, which is unfortunately already used for a diamond.
@domenic domenic added addition/proposal New features or enhancements needs implementer interest Moving the issue forward requires implementers to express interest topic: parser labels Oct 11, 2020
@domenic
Copy link
Member

domenic commented Oct 11, 2020

In general implementers have been uninterested in modifying the HTML parser in such a way; you can see a previous unsuccessful request in #5121.

@domenic domenic added agenda+ To be discussed at a triage meeting and removed agenda+ To be discussed at a triage meeting labels Jul 22, 2021
domenic added a commit that referenced this issue Sep 14, 2021
@domenic
Note that we will not add new named character references
1b37f8c 
Closes #3655. Closes #5121. Closes #6049.
@domenic domenic mentioned this issue Sep 14, 2021
Merged
domenic added a commit that referenced this issue Sep 20, 2021
@domenic
Note that we will not add new named character references
ef29c39 
Closes #3655. Closes #5121. Closes #6049.
mfreed7 pushed a commit to mfreed7/html that referenced this issue Jun 3, 2022
@domenic @mfreed7
Note that we will not add new named character references
5662df8 
Closes whatwg#3655. Closes whatwg#5121. Closes whatwg#6049.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
addition/proposal New features or enhancements needs implementer interest Moving the issue forward requires implementers to express interest topic: parser
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Note that we will not add new named character references whatwg/html
2 participants
@domenic @zed-vector