More Unicode letters #1260
Merged
More Unicode letters #1260
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This PR serves as a complement to PR #1232 by supporting some letters that are omitted from the Unicode range 1D400–1D7FF.
Codecov Report
@@ Coverage Diff @@
## master #1260 +/- ##
==========================================
+ Coverage 82.39% 82.44% +0.05%
==========================================
Files 60 60
Lines 3868 3880 +12
Branches 651 651
==========================================
+ Hits 3187 3199 +12
Misses 578 578
Partials 103 103
Continue to review full report at Codecov.
|
ylemkimon
reviewed
Apr 12, 2018
| defineMacro("\u211B", "\\mathscr{R}"); | ||
| defineMacro("\u212D", "\\mathfrak{C}"); // Fraktur | ||
| defineMacro("\u210C", "\\mathfrak{H}"); | ||
| defineMacro("\u2128", "\\mathfrak{Z}"); |
There was a problem hiding this comment.
What about They're in \u2111 and \u211c?symbols.js
ylemkimon
approved these changes
Apr 12, 2018
|
@ronkok thanks for the PR. @ylemkimon thanks for reviewing. |
HosseinAgha
pushed a commit
to HosseinAgha/KaTeX
that referenced
this pull request
Apr 20, 2018
This PR serves as a complement to PR KaTeX#1232 by supporting some letters that are omitted from the Unicode range 1D400–1D7FF.
kevinbarabash
pushed a commit
that referenced
this pull request
Apr 21, 2018
* README: Add size badge Add a size badge showing size of gzipped katex.min.js * update-sri: Add code to replace size badge in readme * Change to use badge from shields.io instead My bad for assuming that badgesize.io supports https. Change to use the badge from shields.io which supports https. * More Unicode letters (#1260) This PR serves as a complement to PR #1232 by supporting some letters that are omitted from the Unicode range 1D400–1D7FF. * Include Bold-Italic fonts for \boldsymbol (#1257) * Include Bold-Italic fonts for \boldsymbol Fix #1228 * Update screenshots * README: Add size badge Add a size badge showing size of gzipped katex.min.js * update-sri: Add code to replace size badge in readme * Change to use badge from shields.io instead My bad for assuming that badgesize.io supports https. Change to use the badge from shields.io which supports https. * Use badgesize.io with https
HosseinAgha
pushed a commit
to HosseinAgha/KaTeX
that referenced
this pull request
Apr 23, 2018
This PR serves as a complement to PR KaTeX#1232 by supporting some letters that are omitted from the Unicode range 1D400–1D7FF.
HosseinAgha
pushed a commit
to HosseinAgha/KaTeX
that referenced
this pull request
Apr 23, 2018
* README: Add size badge Add a size badge showing size of gzipped katex.min.js * update-sri: Add code to replace size badge in readme * Change to use badge from shields.io instead My bad for assuming that badgesize.io supports https. Change to use the badge from shields.io which supports https. * More Unicode letters (KaTeX#1260) This PR serves as a complement to PR KaTeX#1232 by supporting some letters that are omitted from the Unicode range 1D400–1D7FF. * Include Bold-Italic fonts for \boldsymbol (KaTeX#1257) * Include Bold-Italic fonts for \boldsymbol Fix KaTeX#1228 * Update screenshots * README: Add size badge Add a size badge showing size of gzipped katex.min.js * update-sri: Add code to replace size badge in readme * Change to use badge from shields.io instead My bad for assuming that badgesize.io supports https. Change to use the badge from shields.io which supports https. * Use badgesize.io with https
kevinbarabash
pushed a commit
that referenced
this pull request
Apr 28, 2018
* Expose defineSymbol in the main KaTeX object * More Unicode letters (#1260) This PR serves as a complement to PR #1232 by supporting some letters that are omitted from the Unicode range 1D400–1D7FF. * Include Bold-Italic fonts for \boldsymbol (#1257) * Include Bold-Italic fonts for \boldsymbol Fix #1228 * Update screenshots * README: Add size badge (#1253) * README: Add size badge Add a size badge showing size of gzipped katex.min.js * update-sri: Add code to replace size badge in readme * Change to use badge from shields.io instead My bad for assuming that badgesize.io supports https. Change to use the badge from shields.io which supports https. * More Unicode letters (#1260) This PR serves as a complement to PR #1232 by supporting some letters that are omitted from the Unicode range 1D400–1D7FF. * Include Bold-Italic fonts for \boldsymbol (#1257) * Include Bold-Italic fonts for \boldsymbol Fix #1228 * Update screenshots * README: Add size badge Add a size badge showing size of gzipped katex.min.js * update-sri: Add code to replace size badge in readme * Change to use badge from shields.io instead My bad for assuming that badgesize.io supports https. Change to use the badge from shields.io which supports https. * Use badgesize.io with https * Fix space width in \texttt (#1261) * Fix space width in \texttt Fix #1255 via KaTeX/katex-fonts#41. Also fix width metrics via KaTeX/katex-fonts#42. * Improve test * Update screenshots
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR serves as a complement to PR #1232 by supporting some letters that are omitted from the Unicode range 1D400–1D7FF.