(string)
| 66 | } |
| 67 | |
| 68 | function escapeComplexScripts(string) { |
| 69 | return string.replace(/[^\u0000-\u0600→“”…←‘’]+/g, m => { |
| 70 | if (/[\u0600-\u06ff]/.test(m)) m = "\\textarab{" + m + "}" |
| 71 | else if (/[\u4E00-\u9FA5]/.test(m)) m = "\\cjkfont{" + m + "}" |
| 72 | return `$<${m}>$` |
| 73 | }) |
| 74 | } |
| 75 | |
| 76 | function id(token) { |
| 77 | let id = token.attrGet("id") |