diff options
author | Robert Alessi <alessi@robertalessi.net> | 2018-01-02 17:25:30 +0100 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2018-01-02 17:25:30 +0100 |
commit | 7a0f23c3ed70f9d05cec96fdc2176adc4a0ad57a (patch) | |
tree | d6b4ef97de727ea9a578ff593a6ddd14e6792417 /arabluatex.lua | |
parent | b27ba647d19e891f9f869b1b710e5501f09fde71 (diff) | |
download | arabluatex-7a0f23c3ed70f9d05cec96fdc2176adc4a0ad57a.tar.gz |
\cap{} was already defined in math mode, oh dear! replaced with \uc{}
Diffstat (limited to 'arabluatex.lua')
-rw-r--r-- | arabluatex.lua | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/arabluatex.lua b/arabluatex.lua index e763b2a..b539484 100644 --- a/arabluatex.lua +++ b/arabluatex.lua | |||
@@ -192,10 +192,10 @@ end | |||
192 | local function takeoutcapetc(str) | 192 | local function takeoutcapetc(str) |
193 | str = string.gsub(str, "(\\arb.?%[trans%])(%b{})", function(tag, body) | 193 | str = string.gsub(str, "(\\arb.?%[trans%])(%b{})", function(tag, body) |
194 | body = string.sub(body, 2, -2) | 194 | body = string.sub(body, 2, -2) |
195 | body = string.gsub(body, "(\\cap%s?)(%b{})", "\\Cap%2") | 195 | body = string.gsub(body, "(\\uc%s?)(%b{})", "\\Uc%2") |
196 | return string.format("%s{%s}", tag, body) | 196 | return string.format("%s{%s}", tag, body) |
197 | end) | 197 | end) |
198 | str = string.gsub(str, "(\\cap.?)(%b{})", function(tag, body) | 198 | str = string.gsub(str, "(\\uc.?)(%b{})", function(tag, body) |
199 | body = string.sub(body, 2, -2) | 199 | body = string.sub(body, 2, -2) |
200 | return string.format("%s", body) | 200 | return string.format("%s", body) |
201 | end) | 201 | end) |
@@ -665,7 +665,7 @@ function processtrans(str, mode, rules, scheme) | |||
665 | return str | 665 | return str |
666 | end | 666 | end |
667 | 667 | ||
668 | function cap(str) | 668 | function uc(str) |
669 | str = string.gsub(str, "(\\txtrans.?)(%b{})", function(tag, body) | 669 | str = string.gsub(str, "(\\txtrans.?)(%b{})", function(tag, body) |
670 | body = string.sub(body, 2, -2) | 670 | body = string.sub(body, 2, -2) |
671 | return string.format("%s", body) | 671 | return string.format("%s", body) |