diff --git a/source/containers.tex b/source/containers.tex index 04fe5afa46..907714780d 100644 --- a/source/containers.tex +++ b/source/containers.tex @@ -21757,8 +21757,8 @@ \item if $S_k$ is a specialization of \tcode{strided_slice} \begin{itemize} - \item $\tcode{$s_k$.extent = 0}$, or - \item $\tcode{$s_k$.stride > 0}$ + \item $\tcode{$s_k$.extent} = 0$, or + \item $\tcode{$s_k$.stride} > 0$ \end{itemize} \item $0 \le \tcode{\exposid{first_}(slices...)}$