patrick/KaTeX
1
0
Fork 0
mirror of https://github.com/Smaug123/KaTeX synced 2025-10-11 22:18:41 +00:00
Code Issues Packages Projects Releases Wiki Activity

[plugin system] Add defineSymbol to the main katex object (#1263)

Browse Source 
* 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 https://github.com/KaTeX/katex-fonts/pull/41.
Also fix width metrics via https://github.com/KaTeX/katex-fonts/pull/42.

* Improve test

* Update screenshots
This commit is contained in:
Hossein Saniei
2018-04-29 01:06:30 +04:30
committed by Kevin Barabash
parent b4b57cbc2b
commit bd7a977404
3 changed files with 9 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/symbols.js
View File

@@ -19,7 +19,7 @@
import type {Mode} from "./types";
type Font = "main" | "ams";
type Font = "main" | "ams"
type Group =
"accent" | "bin" | "close" | "inner" | "mathord" | "op" | "open" | "punct" |
"rel" | "spacing" | "textord";
@@ -32,7 +32,7 @@ const symbols: {[Mode]: CharInfoMap} = {
export default symbols;
/** `acceptUnicodeChar = true` is only applicable if `replace` is set. */
function defineSymbol(
export function defineSymbol(
mode: Mode,
font: Font,
group: Group,