Unicode seems to have dedicated circled characters for numbers 0 through 20, and the lower and upper English letters. This PR now uses them with \textcircled. For other cases, we continue to rely on the U+20DD combining character.
I am attaching a sample tex source and a screenshot of the HTML from a default Firefox view.
Still renders a bit odd, but maybe better in the long run?
I also tried to add some baseline math attributes, ensuring that circled numbers reach MathML as <mn> rather than <mi> elements. Feedback is most welcome.
Fixes #2122 .
Unicode seems to have dedicated circled characters for numbers 0 through 20, and the lower and upper English letters. This PR now uses them with
\textcircled
. For other cases, we continue to rely on theU+20DD
combining character.I am attaching a sample tex source and a screenshot of the HTML from a default Firefox view. Still renders a bit odd, but maybe better in the long run?
I also tried to add some baseline math attributes, ensuring that circled numbers reach MathML as
<mn>
rather than<mi>
elements. Feedback is most welcome.