Списки теорем (XeLaTeX)

Question

Я узнал, как использовать thmtoolsпакет для создания списков теорем. Мои вопросы по этому поводу:

1. Добавление [name=xxx,label=thm:...]после \begin{yyy}(xxx — название теоремы, ... метка, появляющаяся в списке, yyy — вид теоремы) метит теорему. Если я пытаюсь вставить какие-либо математические выражения за пределами надстрочного и подстрочного индексов (пока что я пробовал только \mathbb) в метку, я получаю missing \endcsname insertedошибку, связанную со строкой .aux-файлов. MWE:

   \documentclass[a4paper]{report}  
   \usepackage{thmtools,amssymb}  
   \declaretheorem[name=Definizione]{defi}  
   \begin{document}  
   \begin{defi}[name=$\mathbb R$,label=thm:$\mathbb R$definizione]  
   Ah beh, s\`i beh.  
   \end{defi}  
   \listoftheorems  
   \end{document}  
   

что дает:
.
Та же ошибка получается при размещении a \refв метке. Фактически, \mathbbдает проблемы в любом месте этих [], как запятая в середине имени или метки, даже внутри долларов для обозначения интервала, например (0,1). Как мне это решить?

2. (должно быть 2) И наконец, я использую теоремы с [subsection]нумерацией. Теперь в списке номер перекрывает вид теоремы (т.е. я получаю 1.2.1.1перекрытие Definizione (Spazio Metrico)). Как мне это решить?

Answer 1

Значение ключа labelдолжно представлять собой мнемоническую строку, которая будет использоваться в аргументе \refдля ссылки на этот номер теоремы.

Он не должен содержать никаких команд и специальных символов (и никогда не будет напечатан). Итак

\begin{defi}[name=$\mathbb{R}$,label=thm:R-definizione]

это то, что вам нужно. Когда вы хотите сослаться на это определение, введите

\ref{thm:R-definizione}

---

Обратите внимание, что правильный ввод — \mathbb{R}, а не \mathbb R. Тот факт, что последний дает тот же результат, не следует воспринимать как доказательство того, что ввод правильный.