diff options
author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2015-04-09 21:15:05 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2015-04-09 21:15:05 +0200 |
commit | 25fc028ca9e811187704cf2de2ba0d0bb9846b67 (patch) | |
tree | bbe5b4c41653a84aa4f90b922b8fb5bce69853e2 /tex/context/base/char-ent.lua | |
parent | af96a3c293d017f5469b14513bdcce9482b3695a (diff) | |
download | context-25fc028ca9e811187704cf2de2ba0d0bb9846b67.tar.gz |
2015-04-09 20:58:00
Diffstat (limited to 'tex/context/base/char-ent.lua')
-rw-r--r-- | tex/context/base/char-ent.lua | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/tex/context/base/char-ent.lua b/tex/context/base/char-ent.lua index 58ee9472c..e48856a84 100644 --- a/tex/context/base/char-ent.lua +++ b/tex/context/base/char-ent.lua @@ -332,7 +332,7 @@ local entities = utilities.storage.allocate { ["NestedLessLess"] = "≪", -- U+0226A ["Nfr"] = "𝔑", -- U+1D511 ["Ngr"] = "Ν", -- U+0039D - ["NoBreak"] = "", -- U+02060 + ["NoBreak"] = "", -- U+02060 ["NonBreakingSpace"] = " ", -- U+000A0 ["Nopf"] = "ℕ", -- U+02115 ["Not"] = "⫬", -- U+02AEC @@ -2252,6 +2252,8 @@ local entities = utilities.storage.allocate { characters = characters or { } characters.entities = entities -entities.plusminus = "±" -- 0x000B1 -entities.minusplus = "∓" -- 0x02213 -entities.cdots = utf.char(0x02026) -- U+02026 +entities.plusminus = "±" -- U+000B1 +entities.minusplus = "∓" -- U+02213 +entities.Hat = "ˆ" -- U+002C6 -- better as this will stretch +entities.cdots = "⋯" -- U+022EF +entities.dots = "…" -- U+02026 |