From 30f1ad612d1bfe9bd9475756723560f9c97af504 Mon Sep 17 00:00:00 2001 From: Mark Date: Fri, 7 Jun 2024 14:54:31 -0700 Subject: [PATCH] Typo fix (Koreans) --- Advanced/Definable Sets/parts/2 quantifiers.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Advanced/Definable Sets/parts/2 quantifiers.tex b/Advanced/Definable Sets/parts/2 quantifiers.tex index 01af858..8d0362d 100644 --- a/Advanced/Definable Sets/parts/2 quantifiers.tex +++ b/Advanced/Definable Sets/parts/2 quantifiers.tex @@ -20,7 +20,7 @@ In English, this means \say{For any $x$, $x$ is bigger than zero,} or simply \sa \vspace{3mm} -$\exists$ is very similar: the formula $\exists x ~ \varphi(x)$ is true if ther is at least one $x$ for which $\varphi(x)$ is true. \par +$\exists$ is very similar: the formula $\exists x ~ \varphi(x)$ is true if there is at least one $x$ for which $\varphi(x)$ is true. \par For example, $\exists ~ (0 < x)$ means \say{there is a positive number in our set.} \vspace{4mm}