From 1d7741c1d6602af9cee5fcd783727a34644b698b Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Thu, 10 Sep 2020 21:19:09 +0000 Subject: semantex (10sep20) git-svn-id: svn://tug.org/texlive/trunk@56310 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/tex/latex/semantex/stripsemantex.lua | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'Master/texmf-dist/tex/latex/semantex/stripsemantex.lua') 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 ') -- cgit v1.2.3