From 2bc8c6701d989761d5a7ea1a810ef7e17592f723 Mon Sep 17 00:00:00 2001 From: - Date: Mon, 9 Sep 2024 22:09:06 -0400 Subject: [PATCH] Replace \\[ \\] by $$ $$ --- replace-delimiters.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/replace-delimiters.sh b/replace-delimiters.sh index 60f0408..e8651c3 100644 --- a/replace-delimiters.sh +++ b/replace-delimiters.sh @@ -9,8 +9,8 @@ replace_delimiters() { perl -i -pe ' # Replace \( expression \) with $expression$ while preserving spaces s/\\\(([^\)]*)\\\)/\$$1\$/g; - # Replace \[ expression \] with \\[ expression \\] while preserving spaces - s/\\\[([^\]]*)\\\]/\\\[$1\\\]/g; + # Replace \[ expression \] with $$ expression $$ while preserving spaces + s/\\\[([^\]]*)\\\]/\$\$\[$1\\$\$/g; # Replace \{ with \\{ and \} with \\} s/\\\{/\\\\\{/g; s/\\\}/\\\\\}/g;