summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/luatex/luaxml/luaxml-namedentities.lua
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2020-07-20 21:20:09 +0000
committerKarl Berry <karl@freefriends.org>2020-07-20 21:20:09 +0000
commitb8018c0ac15e4ff48acef03c88dd51ba052d2123 (patch)
tree6e1914dd2306529b25bf3de3138ca2b20b81a0f1 /Master/texmf-dist/tex/luatex/luaxml/luaxml-namedentities.lua
parent768f46b59939981d4528d9b176e19010e32d7b70 (diff)
luaxml (20jul20)
git-svn-id: svn://tug.org/texlive/trunk@55891 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/luatex/luaxml/luaxml-namedentities.lua')
-rw-r--r--Master/texmf-dist/tex/luatex/luaxml/luaxml-namedentities.lua3
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/texmf-dist/tex/luatex/luaxml/luaxml-namedentities.lua b/Master/texmf-dist/tex/luatex/luaxml/luaxml-namedentities.lua
index dbbed79ce0b..9a26f448f67 100644
--- a/Master/texmf-dist/tex/luatex/luaxml/luaxml-namedentities.lua
+++ b/Master/texmf-dist/tex/luatex/luaxml/luaxml-namedentities.lua
@@ -1,3 +1,4 @@
+local utf8 = require "utf8"
return {
["Subset"]="⋐",
["Chi"]="Χ",
@@ -39,7 +40,7 @@ return {
["nsqsube"]="⋢",
["Nacute"]="Ń",
["mcomma"]="⨩",
-["ApplyFunction"]="⁡",
+["ApplyFunction"]=utf8.char(8289),
["rfisht"]="⥽",
["phmmat"]="ℳ",
["rarrw"]="↝",