Support Unicode \mid (#993)

Map ∣, U+2223, to `\mid`
This commit is contained in:
Ron Kok
2017-11-26 15:32:01 -08:00
committed by Kevin Barabash
parent 1d8cf3fa08
commit 0bde52f04f
2 changed files with 2 additions and 2 deletions

View File

@@ -82,7 +82,7 @@ defineSymbol(math, main, rel, "\u22a5", "\\perp");
defineSymbol(math, main, rel, "\u2aaf", "\\preceq", true);
defineSymbol(math, main, rel, "\u2ab0", "\\succeq", true);
defineSymbol(math, main, rel, "\u2243", "\\simeq", true);
defineSymbol(math, main, rel, "\u2223", "\\mid");
defineSymbol(math, main, rel, "\u2223", "\\mid", true);
defineSymbol(math, main, rel, "\u226a", "\\ll");
defineSymbol(math, main, rel, "\u226b", "\\gg", true);
defineSymbol(math, main, rel, "\u224d", "\\asymp", true);

View File

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