diff options
author | Karl Berry <karl@freefriends.org> | 2020-09-10 21:19:09 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-09-10 21:19:09 +0000 |
commit | 1d7741c1d6602af9cee5fcd783727a34644b698b (patch) | |
tree | 79d5c5dc0e656adb54b5a4b17e06c53a13b531c8 /Master/texmf-dist/tex/latex/semantex/stripsemantex.lua | |
parent | 842880ac5b269a399cd310f767e4285a8c1971d4 (diff) |
semantex (10sep20)
git-svn-id: svn://tug.org/texlive/trunk@56310 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/latex/semantex/stripsemantex.lua')
-rw-r--r-- | Master/texmf-dist/tex/latex/semantex/stripsemantex.lua | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/latex/semantex/stripsemantex.lua b/Master/texmf-dist/tex/latex/semantex/stripsemantex.lua index ba3eb9f2dac..1ebce1f716f 100644 --- a/Master/texmf-dist/tex/latex/semantex/stripsemantex.lua +++ b/Master/texmf-dist/tex/latex/semantex/stripsemantex.lua @@ -195,6 +195,11 @@ semantexIDluacommand = function(id, source, output) output = output:gsub('\\mathclose \\rvert', '\\rvert') output = output:gsub('\\mathopen \\lVert', '\\rVert') output = output:gsub('\\mathclose \\rVert', '\\rVert') + output = output:gsub('%^{\\prime }', '\'') + output = output:gsub('%^{\\prime \\prime }', '\'\'') + output = output:gsub('%^{\\prime \\prime \\prime }', '\'\'\'') + output = output:gsub('%^{\\prime \\prime \\prime \\prime }', '\'\'\'\'') + output = output:gsub('%^{\\prime \\prime \\prime \\prime \\prime }', '\'\'\'\'\'') output = output:gsub('%s+%f[{}%[%]%(%)%$,]','') output = output:gsub('([}%]%)])%f[\\%w%+%-%(%[=]', '%1 ') |