This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
* The 'Glyph' column for for ⟩ contains 〉 whereas the 'Character(s)' column says that ⟩ has been redefined since HTML4 and is now pointing to ⟩/⟩ And ditto: * The 'Glyph' column for for ⟨ contains 〈 whereas the 'Character(s)' column says that ⟨ has been redefined since HTML4 and is now pointing to ⟨/⟨ Or to quote the source code in the spec: <tr id="entity-rang"> <td> <code title="">rang;</code> </td> <td> U+027E9 </td> <td> <span class="glyph" title="">〉</span> </td> </tr> <tr id="entity-lang"> <td> <code title="">lang;</code> </td> <td> U+027E8 </td> <td> <span class="glyph" title="">〈</span> </td> </tr> Btw, you might also want to see bug 14429
That's a bug in the preprocessor's parser, I think.
Is this still broken?
(In reply to comment #2) > Is this still broken? Yes, it is still broken. Tested today.
This bug was cloned to create bug 17902 as part of operation convergence.
Looks like this has been fixed.
How did you verify that it worked? This is how I verified that it did not work: 1) Search for the cell with the text U+27E9 2) Double click on the cell just to the right of that cell, in order to select its content 3) Copy (Cmd+C on a Mac) 4) Open UnicodeChecker (http://earthlingsoft.net/UnicodeChecker/) 5) Pay Shareware fee to the developer 6) Paste the character you coped into UnicodeChecker 7) Delete the extra space that you proably copied 8) Check the result. RESULT: I get 'RIGHT-POINTING ANGLE BRACKET'/U+232A It should have been: 'MATHEMATICAL RIGHT ANGLE BRACKET'/U+27E9 Sorry. Still broken.
Will address this and <https://www.w3.org/Bugs/Public/show_bug.cgi?id=18232> at the same time.
EDITOR'S RESPONSE: This is an Editor's Response to your comment. If you are satisfied with this response, please change the state of this bug to CLOSED. If you have additional information and would like the Editor to reconsider, please reopen this bug. If you would like to escalate the issue to the full HTML Working Group, please add the TrackerRequest keyword to this bug, and suggest title and text for the Tracker Issue; or you may create a Tracker Issue yourself, if you are able to do so. For more details, see this document: http://dev.w3.org/html5/decision-policy/decision-policy.html Status: Accepted Change Description: https://github.com/w3c/html/commit/573ee3cd9b07533b66ff6fa6ca8b6eaf2a27d8bf Rationale: Fixed.
Looked at spec, and it does indeed seem to be corrected now.
(In reply to comment #9) > Looked at spec, and it does indeed seem to be corrected now. Since I suspect that bug 20702 is a result of how this bug was solved, I am opening this bug again, so that we can verify - once bug 20702 is solved, that this bug remains solved even then.
EDITOR'S RESPONSE: This is an Editor's Response to your comment. If you are satisfied with this response, please change the state of this bug to CLOSED. If you have additional information and would like the Editor to reconsider, please reopen this bug. If you would like to escalate the issue to the full HTML Working Group, please add the TrackerRequest keyword to this bug, and suggest title and text for the Tracker Issue; or you may create a Tracker Issue yourself, if you are able to do so. For more details, see this document: http://dev.w3.org/html5/decision-policy/decision-policy.html Status: Additional Information Needed Change Description: No spec change. Rationale: Resolving as REMIND so that we'll look at this again after bug 20702 is taken care of.
Reopening, as bug 20702 has been fixed. I'll resolve this once I've verified that the 5.1 nightly on w3.org doesn't exhibit this problem.
EDITOR'S RESPONSE: This is an Editor's Response to your comment. If you are satisfied with this response, please change the state of this bug to CLOSED. If you have additional information and would like the Editor to reconsider, please reopen this bug. If you would like to escalate the issue to the full HTML Working Group, please add the TrackerRequest keyword to this bug, and suggest title and text for the Tracker Issue; or you may create a Tracker Issue yourself, if you are able to do so. For more details, see this document: http://dev.w3.org/html5/decision-policy/decision-policy.html Status: Accepted Change Description: https://github.com/w3c/html-tools/commit/5f9f4a20b520da183084bb6a0c28cdac869ba0cc Rationale: Fix verified by David Carlisle in bug 12539 comment 20.
I’m relying you and David’s assessment.