summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/semantex/stripsemantex.lua
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2020-09-11 03:02:42 +0000
committerNorbert Preining <norbert@preining.info>2020-09-11 03:02:42 +0000
commit026bcd88f082ea4bb3f2ddbac395339309f00a63 (patch)
treecd37f4299d38f8630b60c5c47bd1b60c5851ef98 /macros/latex/contrib/semantex/stripsemantex.lua
parent7453287d9233f42e36d981105bc93baf3e2b3a6a (diff)
CTAN sync 202009110302
Diffstat (limited to 'macros/latex/contrib/semantex/stripsemantex.lua')
-rw-r--r--macros/latex/contrib/semantex/stripsemantex.lua5
1 files changed, 5 insertions, 0 deletions
diff --git a/macros/latex/contrib/semantex/stripsemantex.lua b/macros/latex/contrib/semantex/stripsemantex.lua
index ba3eb9f2da..1ebce1f716 100644
--- a/macros/latex/contrib/semantex/stripsemantex.lua
+++ b/macros/latex/contrib/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 ')