Support Unicode corners (#1459)

* Support Unicode corners

* Fix \lrcorner
This commit is contained in:
Ron Kok
2018-07-01 15:53:29 -07:00
committed by ylemkimon
parent c599c613f0
commit f3c167c601
2 changed files with 5 additions and 0 deletions

View File

@@ -320,6 +320,10 @@ defineMacro("\u225F", "\\stackrel{\\tiny?}{=}");
defineMacro("\u27C2", "\\perp");
defineMacro("\u203C", "\\mathclose{!\\mkern-0.8mu!}");
defineMacro("\u220C", "\\notni");
defineMacro("\u231C", "\\ulcorner");
defineMacro("\u231D", "\\urcorner");
defineMacro("\u231E", "\\llcorner");
defineMacro("\u231F", "\\lrcorner");
//////////////////////////////////////////////////////////////////////
// LaTeX_2ε