From 7b167ffa17d6b24f5761c5cc732c55da2b9d1f32 Mon Sep 17 00:00:00 2001
From: Henrik Tidefelt <henrikt@wolfram.com>
Date: Sun, 11 Oct 2020 23:08:04 +0200
Subject: [PATCH] Improve styling in synchronous "Semantics"

---
 chapters/synchronous.tex | 12 +++++-------
 1 file changed, 5 insertions(+), 7 deletions(-)

diff --git a/chapters/synchronous.tex b/chapters/synchronous.tex
index cea6ff474..7a30d32d6 100644
--- a/chapters/synchronous.tex
+++ b/chapters/synchronous.tex
@@ -1463,19 +1463,17 @@ \section{Other Operators}\label{other-operators}
 \section{Semantics}\label{semantics}
 
 The execution of sub partitions requires exact time management for
-proper synchronization. The implication is that testing a Real valued
+proper synchronization. The implication is that testing a \lstinline!Real! valued
 time variable to determine sampling instants is not possible. One
-possible method is to use counters to handle sub-sampling scheduling.
-
+possible method is to use counters to handle sub-sampling scheduling,
 \begin{lstlisting}[language=modelica]
-Clock_i_j_ticks = if pre(Clock_i_j_ticks)<subSamplingFactor_i_j then 1+pre(Clock_i_j_ticks) else 1;
+Clock_$i$_$j$_ticks = if pre(Clock_$i$_$j$_ticks) < subSamplingFactor_$i$_$j$ then 1 + pre(Clock_$i$_$j$_ticks) else 1;
 \end{lstlisting}
-
 and to test the counter to determine when the sub-clock is ticking:
 \begin{lstlisting}[language=modelica]
-Clock_i_j_activated = BaseClock_i_activated and Clock_i_j_ticks >= subSamplingFactor_i_j;
+Clock_$i$_$j$_activated = BaseClock_$i$_activated and Clock_$i$_$j$_ticks >= subSamplingFactor_$i$_$j$;
 \end{lstlisting}
-The Clock\_i\_j\_activated flag is used as the guard for the sub
+The \lstinline!Clock_$i$_$j$_activated! flag is used as the guard for the sub
 partition equations.
 
 \begin{nonnormative}