Add symbol support for thmtools package (#897)

This commit is contained in:
Patrick Förster 2023-06-07 09:35:57 +02:00 committed by GitHub
parent 365c04050c
commit f24f35f2a6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
17 changed files with 200 additions and 21 deletions

View file

@ -223,13 +223,11 @@ impl Semantics {
fn process_theorem_definition(&mut self, theorem_def: latex::TheoremDefinition) {
let Some(name) = theorem_def.name().and_then(|name| name.key()) else { return };
let Some(description) = theorem_def
.heading()
.and_then(|group| group.content_text()) else { return };
let Some(heading) = theorem_def.heading() else { return };
self.theorem_definitions.push(TheoremDefinition {
name: Span::from(&name),
heading: description,
heading,
});
}
}