Fixed typo in README

tlaplus-community · Jan 3, 2023 · 833e094 · 833e094
1 parent c6091f6
commit 833e094
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -4,12 +4,12 @@
 
 Take the leap! Move from
 ```tla
-S^+ == {e \in S : s > 0}
+S^+ == {e \in S : e > 0}
 Infinitesimal == \A x \in Real^+: \E y \in Real^+: y < x
 ```
 to
 ```tla
-S⁺ ≜ {e ∈ S : s > 0}
+S⁺ ≜ {e ∈ S : e > 0}
 Infinitesimal ≜ ∀ x ∈ ℝ⁺: ∃ y ∈ ℝ⁺: y < x
 ```