From 54da2aa78d55fcd57ba4d52c30b15560f3441ef0 Mon Sep 17 00:00:00 2001 From: Jens Maurer Date: Tue, 8 Sep 2020 19:42:10 +0200 Subject: [PATCH] [conv.qual] Fix punctuation in bulleted list. --- source/expressions.tex | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/source/expressions.tex b/source/expressions.tex index 0a829a124e..a8202aaff7 100644 --- a/source/expressions.tex +++ b/source/expressions.tex @@ -749,14 +749,14 @@ \begin{itemize} \item for every $i > 0$, $\cv{}^3_i$ is the union of -$\cv{}^1_i$ and $\cv{}^2_i$; +$\cv{}^1_i$ and $\cv{}^2_i$, \item if either $P^1_i$ or $P^2_i$ is ``array of unknown bound of'', -$P^3_i$ is ``array of unknown bound of'', otherwise it is $P^1_i$; +$P^3_i$ is ``array of unknown bound of'', otherwise it is $P^1_i$, and \item if the resulting $\cv{}^3_i$ is different from $\cv{}^1_i$ or $\cv{}^2_i$, or the resulting $P^3_i$ is different from $P^1_i$ or $P^2_i$, -then \tcode{const} is added to every $\cv{}^3_k$ for $0 < k < i$. +then \tcode{const} is added to every $\cv{}^3_k$ for $0 < k < i$, \end{itemize} where $\cv{}^j_i$ and $P^j_i$ are the components of the cv-decomposition of $\tcode{T}j$.