Update Readme.md

linsyking · Apr 5, 2023 · 9aba642 · 9aba642
1 parent db854fb
commit 9aba642
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Readme.md b/Readme.md
@@ -10,7 +10,7 @@ Its main design purpose is to do experiments with "string substitution".
 
 Currently the definition of substitution of strings are defined by the built-in `replace` function of `String`.
 
-It's not allowed to do $[X/""]Y$ (replace empty string with some string).
+It's not allowed to do $[X/\epsilon]Y$ (replace empty string with some string).
 
 ## Concepts