diff options
author | Norbert Preining <norbert@preining.info> | 2020-09-11 03:02:42 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2020-09-11 03:02:42 +0000 |
commit | 026bcd88f082ea4bb3f2ddbac395339309f00a63 (patch) | |
tree | cd37f4299d38f8630b60c5c47bd1b60c5851ef98 /macros/latex/contrib/semantex/stripsemantex.lua | |
parent | 7453287d9233f42e36d981105bc93baf3e2b3a6a (diff) |
CTAN sync 202009110302
Diffstat (limited to 'macros/latex/contrib/semantex/stripsemantex.lua')
-rw-r--r-- | macros/latex/contrib/semantex/stripsemantex.lua | 5 |
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 ') |