X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=appx%2Fc4hp.tex;h=abde24f97a5492e0c71804c353f069165b463850;hb=a5b8d7509c5846d51e2f9e75d4787c7d9b90b408;hp=c610e92a42d14081aac2b651be27c6c75040b933;hpb=9723644ea8013d16911ee761245256f6967c90f3;p=phd-thesis.git

diff --git a/appx/c4hp.tex b/appx/c4hp.tex
index c610e92..abde24f 100644
--- a/appx/c4hp.tex
+++ b/appx/c4hp.tex
@@ -68,7 +68,7 @@ f :: v:a u:b -> u:b, [v<=u]  // f works when a is less unique than b
 \subsection{Expressions}
 Patterns in \gls{CLEAN} can be used as predicates as well \citep[\citesection{3.4.3}]{plasmeijer_clean_2021}.
 Using the \cleaninline{=:} operator, a value is tested against a pattern.
-Variable names are not allowed but wildcard patterns \cleaninline{\_} are.
+Variable names are not allowed but wildcard patterns (\cleaninline{\_}) are.
 
 \begin{lstClean}[label={lst:matches_pattern_expression},caption={Examples of \emph{matches pattern} expressions.}]
 isNil :: [a] -> Bool