summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/semantex/stripsemantex.lua
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2020-09-10 21:19:09 +0000
committerKarl Berry <karl@freefriends.org>2020-09-10 21:19:09 +0000
commit1d7741c1d6602af9cee5fcd783727a34644b698b (patch)
tree79d5c5dc0e656adb54b5a4b17e06c53a13b531c8 /Master/texmf-dist/tex/latex/semantex/stripsemantex.lua
parent842880ac5b269a399cd310f767e4285a8c1971d4 (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.lua5
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 ')