diff options
author | Karl Berry <karl@freefriends.org> | 2020-07-20 21:20:09 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-07-20 21:20:09 +0000 |
commit | b8018c0ac15e4ff48acef03c88dd51ba052d2123 (patch) | |
tree | 6e1914dd2306529b25bf3de3138ca2b20b81a0f1 /Master/texmf-dist/tex/luatex/luaxml/luaxml-namedentities.lua | |
parent | 768f46b59939981d4528d9b176e19010e32d7b70 (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.lua | 3 |
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"]="↝", |