我必须将所有这些字符“①②③④⑤⑥⑦⑧⑨⑩”替换为“\item”。
我用过这段代码:
stra = string.gsub(text, "①", "\\item")
strb = string.gsub(stra, "②", "\\item")
strc = string.gsub(strb, "③", "\\item")
strd = string.gsub(strc, "④", "\\item")
stre = string.gsub(strd, "⑤", "\\item")
但是,这非常冗长。有没有更简单的方法来替换所有这些项目?