diff --git a/src/resources/filters/customnodes/theorem.lua b/src/resources/filters/customnodes/theorem.lua index e05eca41024..1aa8687a837 100644 --- a/src/resources/filters/customnodes/theorem.lua +++ b/src/resources/filters/customnodes/theorem.lua @@ -50,6 +50,16 @@ theorem_types = { style = "plain", title = "Algorithm" }, + axm = { + env = "axiom", + style = "definition", + title = "Axiom" + }, + asp = { + env = "assumption", + style = "definition", + title = "Assumption" + }, } function has_theorem_ref(el) diff --git a/src/resources/language/_language-es.yml b/src/resources/language/_language-es.yml index 5ec78c8ac4d..83a2fc30673 100644 --- a/src/resources/language/_language-es.yml +++ b/src/resources/language/_language-es.yml @@ -93,6 +93,8 @@ crossref-cnj-title: "Conjetura" crossref-def-title: "Definición" crossref-exm-title: "Ejemplo" crossref-exr-title: "Ejercicio" +crossref-axm-title: "Axioma" +crossref-asp-title: "Suposición" crossref-ch-prefix: "Capítulo" crossref-apx-prefix: "Apéndice" crossref-sec-prefix: "Sección" diff --git a/src/resources/language/_language.yml b/src/resources/language/_language.yml index f2a7f22803f..13fc00cb77e 100644 --- a/src/resources/language/_language.yml +++ b/src/resources/language/_language.yml @@ -93,6 +93,8 @@ crossref-cnj-title: "Conjecture" crossref-def-title: "Definition" crossref-exm-title: "Example" crossref-exr-title: "Exercise" +crossref-axm-title: "Axiom" +crossref-asp-title: "Assumption" crossref-ch-prefix: "Chapter" crossref-apx-prefix: "Appendix" crossref-sec-prefix: "Section"