From 99c65219a7edd1e71b6af868734f77b8dd002f7c Mon Sep 17 00:00:00 2001
From: adelon <22380201+adelon@users.noreply.github.com>
Date: Thu, 16 May 2024 15:40:25 +0200
Subject: Fix missing `\text`

---
 library/topology/basis.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'library/topology/basis.tex')

diff --git a/library/topology/basis.tex b/library/topology/basis.tex
index bca42f0..ecdd0f7 100644
--- a/library/topology/basis.tex
+++ b/library/topology/basis.tex
@@ -45,6 +45,6 @@
 \end{definition}
 
 \begin{definition}\label{genOpens}
-    $\genOpens{B}{X} = \{ U\in\pow{X} \mid for all $x\in U$ there exists $V\in B$
-    such that $x\in V\subseteq U$\}$.
+    $\genOpens{B}{X} = \{ U\in\pow{X} \mid \text{for all $x\in U$ there exists $V\in B$
+    such that $x\in V\subseteq U$}\}$.
 \end{definition}
-- 
cgit v1.2.3