Support Unicode ≘≙≚≛≝≞≟ (#1274)

* Support Unicode stackrel

Supports Unicode characters ≘ ≙ ≚ ≛ ≝ ≞ ≟

* Fix lint error

* Delete unnecessary braces
This commit is contained in:
Ron Kok
2018-05-03 13:58:04 -07:00
committed by Erik Demaine
parent 7fec5ae5dc
commit f25e08d618
2 changed files with 11 additions and 1 deletions

View File

@@ -2982,7 +2982,7 @@ describe("Unicode", function() {
});
it("should parse more relations", function() {
expect("⊂⊃⊆⊇⊏⊐⊑⊒⊢⊣⊩⊪⊸⋈⋍⋐⋑⋔⋛⋞⋟⌢⌣⩾⪆⪌⪕⪖⪯⪰⪷⪸⫅⫆").toParse();
expect("⊂⊃⊆⊇⊏⊐⊑⊒⊢⊣⊩⊪⊸⋈⋍⋐⋑⋔⋛⋞⋟⌢⌣⩾⪆⪌⪕⪖⪯⪰⪷⪸⫅⫆≘≙≚≛≝≞≟").toBuild();
});
it("should parse symbols", function() {