.pot file

.i18n/Game.pot

@@ -1,7 +1,7 @@
 msgid ""
 msgstr "Project-Id-Version: Game v4.6.0\n"
 "Report-Msgid-Bugs-To: \n"
-"POT-Creation-Date: Mon Mar 11 19:04:55 2024\n"
+"POT-Creation-Date: Mon Mar 11 19:40:35 2024\n"
 "Last-Translator: \n"
 "Language-Team: none\n"
 "Language: en\n"
@@ -99,14 +99,14 @@ msgid "## Summary\n"
 "\n"
 "## Variants\n"
 "\n"
-"* `rw [← h]` (changes `Y`s to `X`s; get the back arrow by typing `\\left ` or `\\l`.)\n"
+"* `rw [← h]` (changes `Y`s to `X`s; get the back arrow by typing `\left ` or `\l`.)\n"
 "\n"
 "* `rw [h1, h2]` (a sequence of rewrites)\n"
 "\n"
 "* `rw [h] at h2` (changes `X`s to `Y`s in hypothesis `h2`)\n"
 "\n"
 "* `rw [h] at h1 h2 ⊢` (changes `X`s to `Y`s in two hypotheses and the goal;\n"
-"get the `⊢` symbol with `\\|-`.)\n"
+"get the `⊢` symbol with `\|-`.)\n"
 "\n"
 "* `repeat rw [add_zero]` will keep changing `? + 0` to `?`\n"
 "until there are no more matches for `? + 0`.\n"