- Unrolling a loop by a factor of $n$ consists in the substitution of a loop
- body by itself, replicated $n$ times. A prelude and/or postlude are
+ Unrolling a loop by a factor of \(n\) consists in the substitution of a loop
+ body by itself, replicated \(n\) times. A prelude and/or postlude are