Closed stone-zeng closed 5 years ago
Thanks for the tidy up :)
I do need to add missing symbols — that wasn't on my radar yet. In the medium term, when I get the time for it, I want to develop a Lua file to generate this file. There are quite a number of additional pieces of information I'd like to store here. (Such as HTML equivalent, synonyms, and perhaps even usage information.)
On Sun, 6 Jan 2019 at 11:40, Will Robertson notifications@github.com wrote:
Thanks for the tidy up :)
I do need to add missing symbols — that wasn't on my radar yet. In the medium term, when I get the time for it, I want to develop a Lua file to generate this file. There are quite a number of additional pieces of information I'd like to store here. (Such as HTML equivalent, synonyms, and perhaps even usage information.)
Sounds like a description of
https://github.com/w3c/xml-entities/blob/gh-pages/unicode.xml
(which does have the Unicode 11 data:-)
David
— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/wspr/unicode-math/pull/506#issuecomment-451734985, or mute the thread https://github.com/notifications/unsubscribe-auth/ABNcAtMn6isYv8O-BPG3HIVW6d0poK0Oks5vAeCjgaJpZM4ZySsr .
Status
READY/UNDER DEVELOPMENT/FOR DISCUSSION
Description
Simply remove some spaces in
unicode-math-table.tex
.Some questions:
b:
,p:
,/neg /lnot
? It seems unnecessary and confusing.unicode-math-table.
?