summaryrefslogtreecommitdiff
path: root/library
diff options
context:
space:
mode:
authoradelon <22380201+adelon@users.noreply.github.com>2024-05-16 15:40:25 +0200
committeradelon <22380201+adelon@users.noreply.github.com>2024-05-16 15:40:25 +0200
commit99c65219a7edd1e71b6af868734f77b8dd002f7c (patch)
tree6e716035ee07d394c063beadefdc3263d79c0715 /library
parent1f1b21b2ed868cad5e0ad11004790359f27639a0 (diff)
Fix missing `\text`
Diffstat (limited to 'library')
-rw-r--r--library/topology/basis.tex4
1 files changed, 2 insertions, 2 deletions
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}