#let translations = (
  "en": (
    "theorem": "Theorem",
    "lemma": "Lemma",
    "corollary": "Corollary",
    "remark": "Remark",
    "proposition": "Proposition",
    "example": "Example",
    "definition": "Definition",
    "proof": "Proof"
  ),
  "de": (
    "theorem": "Satz",
    "lemma": "Lemma",
    "corollary": "Korollar",
    "remark": "Bemerkung",
    "proposition": "Proposition",
    "example": "Beispiel",
    "definition": "Definition",
    "proof": "Beweis"
  ),
  "fr": (
    "theorem": "Théorème",
    "lemma": "Lemme",
    "corollary": "Corollaire",
    "remark": "Remarque",
    "proposition": "Proposition",
    "example": "Exemple",
    "definition": "Définition",
    "proof": "Preuve"
  ),
  "nl": (
    "theorem": "Stelling",
    "lemma": "Lemma",
    "corollary": "Corollarium",
    "remark": "Opmerking",
    "proposition": "Propositie",
    "example": "Voorbeeld",
    "definition": "Definitie",
    "proof": "Bewijs"
  )
)
