- At present, it is hardcoded to use Arabic numerals, lowercase letters,
- small Roman numerals, and uppercase letters for the four possible depths.
+
+\change_deleted 424524441 1511752012
+At present, it is hardcoded to use Arabic numerals, lowercase letters, small
+ Roman numerals, and uppercase letters for the four possible depths.
+\change_inserted 424524441 1511752012
+The label type needs to be set in the Counter.
+ See
+\begin_inset CommandInset ref
+LatexCommand ref
+reference "subsec:Counters"
+
+\end_inset
+
+.
+\change_unchanged
+