Erik Demaine
484d44ee70
Unicode accents ( #992 )
...
* Unicode accents
* Lexer now looks for combining dicritical marks and adds them to the same character
* Parser's `parseSymbol` now recognizes both combined and uncombined forms of Unicode accents, and builds accent objects just like the accent functions
* Added CJK support to math mode (not just text mode)
* Add invalid combining character test
* Add MathML test
* Add weak support for other Latin-1 characters
This maintains backwards compatibility, but it uses the wrong font.
There's a TODO to fix this later.
Also refactor symbol code to use for..of
* Update Unicode screenshot
* Remove dot from accented i and j (in math mode)
Also add dotless Unicode characters to support some accented i's and j's
* Fix \imath, \jmath, \pounds, and more tests
* Switch from for..of to .split().forEach()
Save around 800 bytes in minified code
* Fix split
* normalize() detection
* Convert back to vanilla for loops
* Fix merge
* Move normalize dependency to unicodeMake.js
* Make unicodeSymbols into a lookup table instead of macros
This is important for multi-accented characters.
* Add comments about when to run
* Move symbols definition into unicodeMake/Symbols.js
* Remove CJK support in text mode
* Add missing semicolon
* Refactor unicodeAccents to its own file
* Dotless i/j support in text mode
* Remove excess character mappings
* Fix Åå in math mode (still via Times)
* Update to support #1030
* Add accented Greek letter support (for supported Greek symbols)
* Update screenshot
* remove Æ, æ, Ø, ø, and ß from math mode test
2017-12-28 23:32:45 -07:00
..
2017-12-17 22:05:21 -07:00
2017-12-25 11:48:32 -07:00
2017-12-25 11:48:32 -07:00
2017-12-25 11:48:32 -07:00
2017-10-17 15:11:18 -04:00
2017-10-17 15:11:18 -04:00
2017-11-11 20:36:09 -05:00
2017-11-11 20:36:09 -05:00
2017-12-26 16:17:06 -07:00
2017-12-26 16:17:06 -07:00
2017-09-16 20:44:26 -04:00
2017-09-16 20:44:26 -04:00
2017-12-26 16:17:06 -07:00
2017-12-26 16:17:06 -07:00
2017-07-30 11:13:55 -04:00
2015-08-30 02:12:55 +02:00
2015-11-12 17:08:16 +01:00
2015-08-30 02:12:55 +02:00
2015-08-30 02:12:55 +02:00
2015-08-30 02:12:55 +02:00
2017-07-30 11:13:55 -04:00
2016-12-05 15:48:04 -05:00
2017-07-30 11:13:55 -04:00
2017-06-05 23:52:16 -04:00
2017-07-30 11:13:55 -04:00
2016-11-28 12:55:54 -05:00
2017-12-12 23:09:52 -05:00
2017-12-12 23:09:52 -05:00
2017-07-30 11:13:55 -04:00
2017-07-30 11:13:55 -04:00
2017-07-30 11:13:55 -04:00
2016-12-05 15:59:10 -05:00
2017-09-16 00:55:13 -04:00
2017-09-16 00:55:13 -04:00
2017-06-12 23:11:27 -04:00
2017-06-12 23:11:27 -04:00
2015-08-30 02:12:55 +02:00
2015-08-30 02:12:55 +02:00
2016-11-28 12:55:54 -05:00
2016-11-28 12:55:54 -05:00
2016-12-05 15:59:10 -05:00
2016-12-05 15:59:10 -05:00
2017-12-26 16:17:06 -07:00
2017-12-26 16:17:06 -07:00
2017-07-30 11:13:55 -04:00
2015-08-30 02:12:55 +02:00
2017-12-26 16:17:06 -07:00
2017-12-26 16:17:06 -07:00
2017-12-26 16:17:06 -07:00
2017-12-26 16:17:06 -07:00
2017-09-04 20:27:04 -04:00
2017-09-04 20:27:04 -04:00
2016-11-04 07:45:08 +01:00
2016-11-04 07:45:08 +01:00
2017-12-26 16:17:06 -07:00
2017-12-26 16:17:06 -07:00
2017-12-26 16:17:06 -07:00
2017-12-26 16:17:06 -07:00
2015-11-12 17:08:16 +01:00
2015-08-30 02:12:55 +02:00
2017-12-26 16:17:06 -07:00
2017-12-26 16:17:06 -07:00
2015-08-30 02:12:55 +02:00
2015-08-30 02:12:55 +02:00
2017-12-26 16:17:06 -07:00
2017-12-26 16:17:06 -07:00
2017-04-05 21:43:04 +01:00
2017-04-05 21:43:04 +01:00
2017-12-26 16:17:06 -07:00
2017-12-26 16:17:06 -07:00
2017-11-27 14:40:38 -05:00
2017-11-27 14:40:38 -05:00
2017-12-26 16:17:06 -07:00
2017-12-26 16:17:06 -07:00
2015-08-30 02:12:55 +02:00
2017-09-02 14:04:30 -04:00
2017-09-02 14:04:30 -04:00
2017-12-26 16:17:06 -07:00
2017-12-26 16:17:06 -07:00
2017-11-27 14:40:38 -05:00
2017-11-27 14:40:38 -05:00
2017-07-30 11:13:55 -04:00
2016-11-04 07:45:08 +01:00
2015-11-12 17:08:16 +01:00
2015-08-30 02:12:55 +02:00
2017-07-30 11:13:55 -04:00
2017-05-12 09:28:49 -04:00
2017-07-30 11:13:55 -04:00
2017-07-08 20:22:29 -04:00
2017-07-30 11:13:55 -04:00
2017-06-05 23:52:16 -04:00
2017-12-26 16:17:06 -07:00
2017-12-26 16:17:06 -07:00
2017-12-26 16:17:06 -07:00
2017-12-26 16:17:06 -07:00
2017-07-30 11:13:55 -04:00
2016-12-05 15:48:05 -05:00
2017-11-27 14:40:38 -05:00
2017-11-27 14:40:38 -05:00
2017-11-27 14:40:38 -05:00
2017-11-27 14:40:38 -05:00
2017-11-27 14:40:38 -05:00
2017-12-25 11:48:32 -07:00
2017-11-22 07:34:05 -05:00
2017-11-22 07:34:05 -05:00
2017-11-27 14:40:38 -05:00
2017-12-25 11:48:32 -07:00
2017-11-27 14:40:38 -05:00
2017-11-27 14:40:38 -05:00
2017-11-27 14:40:38 -05:00
2017-11-27 14:40:38 -05:00
2017-06-30 08:49:00 -07:00
2017-06-30 08:49:00 -07:00
2017-11-27 14:40:38 -05:00
2017-11-27 14:40:38 -05:00
2017-11-27 14:40:38 -05:00
2017-11-27 14:40:38 -05:00
2017-12-25 11:48:32 -07:00
2017-12-25 11:48:32 -07:00
2017-11-27 14:40:38 -05:00
2017-11-27 14:40:38 -05:00
2017-07-30 11:13:55 -04:00
2016-12-31 20:51:20 -05:00
2017-07-30 11:13:55 -04:00
2016-12-31 20:51:20 -05:00
2017-12-28 23:03:08 -07:00
2017-12-28 23:03:08 -07:00
2016-11-28 12:55:54 -05:00
2016-11-28 12:55:54 -05:00
2017-12-26 16:17:06 -07:00
2017-12-26 16:17:06 -07:00
2017-08-23 13:24:17 -04:00
2017-08-23 13:24:17 -04:00
2015-08-30 02:12:55 +02:00
2015-08-30 02:12:55 +02:00
2017-07-30 11:13:55 -04:00
2017-07-30 11:13:55 -04:00
2017-09-10 23:33:51 -04:00
2017-09-10 23:33:51 -04:00
2017-12-26 17:11:10 -07:00
2017-12-26 17:11:10 -07:00
2017-12-26 16:17:06 -07:00
2017-12-26 16:17:06 -07:00
2017-09-18 19:24:20 -04:00
2017-08-22 21:39:15 -04:00
2017-12-26 16:17:06 -07:00
2017-12-26 16:17:06 -07:00
2017-07-30 11:13:55 -04:00
2016-11-04 07:45:08 +01:00
2017-07-30 11:13:55 -04:00
2017-01-19 19:50:16 +01:00
2017-12-26 16:17:06 -07:00
2017-12-26 16:17:06 -07:00
2017-07-30 11:13:55 -04:00
2017-07-30 11:13:55 -04:00
2017-12-26 16:17:06 -07:00
2017-12-26 16:17:06 -07:00
2015-09-22 10:21:33 -07:00
2015-09-22 10:21:33 -07:00
2017-10-03 11:30:59 -06:00
2017-10-03 11:30:59 -06:00
2017-06-27 20:55:14 -04:00
2017-06-27 20:55:14 -04:00
2017-09-18 19:24:20 -04:00
2017-09-02 14:04:30 -04:00
2017-07-30 11:13:55 -04:00
2015-08-30 02:12:55 +02:00
2017-09-18 19:24:20 -04:00
2017-09-18 19:24:20 -04:00
2017-09-18 19:24:20 -04:00
2017-09-18 19:24:20 -04:00
2017-07-30 11:13:55 -04:00
2016-12-05 15:59:10 -05:00
2017-12-26 16:17:06 -07:00
2017-12-26 16:17:06 -07:00
2017-09-18 19:24:20 -04:00
2017-09-18 19:24:20 -04:00
2017-12-26 16:17:06 -07:00
2017-12-26 16:17:06 -07:00
2017-12-25 11:48:32 -07:00
2017-12-25 11:48:32 -07:00
2016-12-08 16:20:32 -05:00
2016-12-08 16:20:32 -05:00
2017-06-27 20:55:14 -04:00
2017-06-27 20:55:14 -04:00
2017-07-30 11:13:55 -04:00
2016-09-17 17:22:01 -07:00
2017-07-30 11:13:55 -04:00
2016-11-04 07:45:08 +01:00
2017-12-26 16:17:06 -07:00
2017-12-26 16:17:06 -07:00
2017-07-30 11:13:55 -04:00
2015-08-30 02:12:55 +02:00
2017-05-16 18:03:47 -04:00
2017-05-16 18:03:47 -04:00
2017-12-26 16:17:06 -07:00
2017-12-26 16:17:06 -07:00
2017-12-13 09:10:23 -05:00
2017-12-13 09:10:23 -05:00
2017-06-10 16:03:22 -04:00
2017-06-10 16:03:22 -04:00
2017-12-28 23:32:45 -07:00
2017-12-28 23:32:45 -07:00
2017-08-11 18:30:06 -04:00
2017-08-11 18:30:06 -04:00
2017-12-26 16:17:06 -07:00
2017-12-26 16:17:06 -07:00
2017-09-21 23:43:05 -04:00
2017-09-21 23:43:05 -04:00
2017-07-30 11:13:55 -04:00
2017-07-30 11:13:55 -04:00