Adds \notni character ∌ (#710)

* Added \\not\\ni character ∌

* remove \notin from symbols.js

reason: we don't have the glyph yet
This commit is contained in:
Georges Dupéron
2017-11-24 22:01:29 +01:00
committed by Kevin Barabash
parent e93668c666
commit d773b17963

View File

@@ -335,3 +335,9 @@ defineMacro("\\simcoloncolon", "\\sim\\mathrel{\\mkern-1.2mu}\\dblcolon");
defineMacro("\\approxcolon", "\\approx\\mathrel{\\mkern-1.2mu}\\vcentcolon");
defineMacro("\\approxcoloncolon",
"\\approx\\mathrel{\\mkern-1.2mu}\\dblcolon");
// Present in newtxmath, pxfonts and txfonts
// TODO: The unicode character U+220C ∌ should be added to the font, and this
// macro turned into a propper defineSymbol in symbols.js. That way, the
// MathML result will be much cleaner.
defineMacro("\\notni", "\\not\\ni");