Fix spacing

Signed-off-by: zeramorphic <[email protected]>

iii/forcing/03_forcing.tex

@@ -56,7 +56,7 @@ \subsection{Forcing posets}
 \begin{definition}
     A \emph{forcing poset} is a triple \( (\mathbb P, \leq_{\mathbb P}, \Bbbone_{\mathbb P}) \), where \( (\mathbb P, \leq_{\mathbb P}) \) is a preorder and \( \Bbbone_{\mathbb P} \) is a maximal element.
     Elements of \( \mathbb P \) are called \emph{conditions}, and we say \( q \) is \emph{stronger} than \( p \) or an \emph{extension} of \( p \) if \( q \leq p \).
-    We say that \( p, q \) are \emph{compatible}, written \( p \|_{\mathbb P} q \), if there exists \( r \) such that \( r \leq_{\mathbb P} p, q \).
+    We say that \( p, q \) are \emph{compatible}, written \( p \mathrel{\|}_{\mathbb P} q \), if there exists \( r \) such that \( r \leq_{\mathbb P} p, q \).
     Otherwise, we say they are \emph{incompatible}, written \( p \perp q \).
 \end{definition}
 \begin{remark}
@@ -74,7 +74,7 @@ \subsection{Forcing posets}
 \begin{proposition}
     Suppose that \( (\mathbb P, \leq) \) is a preorder.
     Define \( p \sim q \) by
-    \[ p \sim q \leftrightarrow \forall r \in P.\, (r \| p \leftrightarrow r \| q) \]
+    \[ p \sim q \leftrightarrow \forall r \in P.\, (r \mathrel\| p \leftrightarrow r \mathrel\| q) \]
     Then there is a separative preorder on \( \faktor{\mathbb P}{\sim} \) such that
     \[ [p] \perp [q] \leftrightarrow p \perp q \]
     and if \( \mathbb P \) has a maximal element, so does \( \faktor{\mathbb P}{\sim} \).