diff --git a/source/meta.tex b/source/meta.tex index ec0284a97c..b14305c091 100644 --- a/source/meta.tex +++ b/source/meta.tex @@ -5935,7 +5935,7 @@ \begin{itemdescr} \pnum -Let $U$ be the type of the value or object that \tcode{r} represents. +Let \tcode{U} be the type of the value or object that \tcode{r} represents. \pnum \returns