Update unicode data processing.

cli/unicode_data_process.php

@@ -28,7 +28,7 @@ require(__DIR__ . '/../../../../config.php');
 require_once($CFG->libdir . '/clilib.php');
 
 $baseurl = 'https://raw.githubusercontent.com/numbas/unicode-math-normalization/main/final_data/';
-$baseurl = 'https://raw.githubusercontent.com/sangwinc/unicode-math-normalization/iss001/final_data/';
+$baseurl = 'https://raw.githubusercontent.com/sangwinc/unicode-math-normalization/main/final_data/';
 $greek = file_get_contents($baseurl . 'greek.json');
 $letters = file_get_contents($baseurl . 'letters.json');
 $subscripts = file_get_contents($baseurl . 'subscripts.json');

doc/en/Developer/Releasing.md

@@ -26,11 +26,11 @@ Check
  * [development history](Development_history.md) and [development track](Development_track.md) `history/track`.
  * Execute `php cli/answertests_docs.php` to update the static docs about answertests.
  * Execute `doc/maintenance.php` to search for broken links etc.
- * Execute `cli/unicode_data_process.php` to update unicode mappings.
  * version.php
  * check both the Moodle versions, and the required number. (https://docs.moodle.org/dev/Releases)
  * `MATURITY_STABLE`?
 * Check version numbers on stackmaxima.mac.
+* Run `php cli/unicode_data_process.php` to update unicode mappings.
 * Run `php cli/ast_test_generator.php` to confirm if auto-generated tests have not changed.
 * Run [unit tests](Unit_tests.md).
 * Run code checker.

stack/maximaparser/unicode/letters-stack.json

@@ -37,6 +37,7 @@
     "\u03b2": "beta",
     "\u03c7": "chi",
     "\u03b4": "delta",
+    "\u03dc": "F",
     "\u03dd": "digamma",
     "\u03b5": "epsilon",
     "\u03b7": "eta",
@@ -997,6 +998,7 @@
     "\ud835\udfc7": "phi",
     "\ud835\udfc8": "rho",
     "\ud835\udfc9": "pi",
+    "\ud835\udfca": "F",
     "\ud835\udfcb": "digamma",
     "\u00b5": "mu",
     "\u2107": "E",

stack/maximaparser/unicode/symbols-stack.json

@@ -4,6 +4,9 @@
     "\u2044": "\/",
     "\u2052": "-",
     "\u208b": "-",
+    "\u2013": "-",
+    "\u2014": "-",
+    "\u2022": "*",
     "\u2212": "-",
     "\u2214": "+",
     "\u2215": "\/",