Support Unicode colon equals (#1151)

* Support Unicode colon equals

This PR adds support for three Unicode characters: `≔` `≕` `⩴`

* Fix error in \Coloneqq
This commit is contained in:
Ron Kok
2018-02-09 04:58:23 -08:00
committed by Erik Demaine
parent 383a68b935
commit d80be86015
2 changed files with 6 additions and 1 deletions

View File

@@ -2915,7 +2915,7 @@ describe("Unicode", function() {
});
it("should parse relations", function() {
expect("∈∋∝∼∽≂≃≅≈≊≍≎≏≐≑≒≓≖≗≜≡≤≥≦≧≫≬≳≷≺≻≼≽≾≿∴∵∣").toParse();
expect("∈∋∝∼∽≂≃≅≈≊≍≎≏≐≑≒≓≖≗≜≡≤≥≦≧≫≬≳≷≺≻≼≽≾≿∴∵∣≔≕⩴").toParse();
});
it("should parse big operators", function() {