From 81255ccff35109cc3279fc25700c63766f40c139 Mon Sep 17 00:00:00 2001
From: Sankalp Gambhir <sankalp.gambhir42@gmail.com>
Date: Mon, 31 Mar 2025 22:25:03 +0200
Subject: [PATCH] Ex 4.1.2: subset -> subseteq
---
info/exercises/src/ex-04/ex/grammar.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/info/exercises/src/ex-04/ex/grammar.tex b/info/exercises/src/ex-04/ex/grammar.tex
index 9fe7519..3147792 100644
--- a/info/exercises/src/ex-04/ex/grammar.tex
+++ b/info/exercises/src/ex-04/ex/grammar.tex
@@ -251,7 +251,7 @@
\end{enumerate}
\item Argument similar to Exercise Set 2 Problem 4 (same pair of
- grammars). \(B_1 \subset B_2\) as relations can be seen by producing a
+ grammars). \(B_1 \subseteq B_2\) as relations can be seen by producing a
derivation tree for each possible case in \(B_1\). For the other
direction, \(B_2 \subseteq B_1\), it is first convenient to prove
that \(B_1\) is closed under concatenation, i.e., if \(w_1, w_2 \in B_1\)
--
GitLab