Merge pull request #9139 from oz123/texescape-add-unicode-multiplication

Add unicode multiplication to texescape
This commit is contained in:
Takeshi KOMIYA 2021-04-29 02:24:58 +09:00 committed by GitHub
commit b821c6c54a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -29,6 +29,8 @@ tex_replacements = [
# map special Unicode characters to TeX commands
('', r'\(\checkmark\)'),
('', r'\(\pmb{\checkmark}\)'),
('', r'\(\times\)'),
('', r'\(\pmb{\times}\)'),
# used to separate -- in options
('', r'{}'),
# map some special Unicode characters to similar ASCII ones