Skip to content

Commit

Permalink
Update replace-delimiters.sh
Browse files Browse the repository at this point in the history
  • Loading branch information
victorliu5296 committed Sep 25, 2024
1 parent 236f2fe commit 81721f0
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions replace-delimiters.sh
Original file line number Diff line number Diff line change
Expand Up @@ -19,10 +19,10 @@ replace_delimiters() {
$content =~ s/(?<!\\\\)\\end/\\\\end/g;
# Double-escape commas
$content =~ s/\\\\,/\\,/g;
# Escape underscores if not already escaped
$content =~ s/(?<!\\)_/\\_/g;
$content =~ s/\\,/\\\\,/g;
# Double-escape underscores
$content =~ s/\\_/\\\\_/g;
# Only escape rendered curly brackets
$content =~ s/\\left\\\{/\\left\\\\\{/g;
Expand Down

0 comments on commit 81721f0

Please sign in to comment.