Add white-space around '<'

HansOlsson · Nov 22, 2020 · 190ea98 · 190ea98
1 parent 3b8a97d
commit 190ea98
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/chapters/synchronous.tex b/chapters/synchronous.tex
@@ -768,9 +768,9 @@ \subsection{Sub-clock conversion operators}\label{sub-clock-conversion-operators
 
 Then when \lstinline!ys! exists, also \lstinline!yb! exists and \lstinline!ys = yb!.
 
-The variable \lstinline!yb! exists for the above parameterization with \lstinline!a<b! one clock tick before \lstinline!ys!.  Therefore, \lstinline!backSample! is
-basically a \lstinline!shiftSample! with a different parameterization and the clock of \lstinline!backSample.y! ticks before the clock of \lstinline!u!.  Before the
-clock of \lstinline!u! ticks, \lstinline!yb = u.start!.
+The variable \lstinline!yb! exists for the above parameterization with \lstinline!a < b! one clock tick before \lstinline!ys!.
+Therefore, \lstinline!backSample! is basically a \lstinline!shiftSample! with a different parameterization and the clock of \lstinline!backSample.y! ticks before the clock of \lstinline!u!.
+Before the clock of \lstinline!u! ticks, \lstinline!yb = u.start!.
 \end{nonnormative}
 
 \begin{nonnormative}