Règles de bonne conduite

• Merci de bien vouloir mettre vos automates et arbres dans des fichiers séparés
• Les "mots" d'un langage doivent être mis en raw
• Pour les TD merci d'utiliser la fonction tdTitle(title:string,subtitle:string)

"Raccourcis" déjà crées

• Les limites par défaut (exposants et indices sont au dessus et en dessous)
  • sum
  • >-> ou arrow.r.tail (pour les maso)
  • union
• Pour la prise des cours utilisez (le _ n'existe pas en réalité, c'est pour les arguments optionnels):
  • definition(_title, _footer)[body]
  • proposition(_title, _footer)[body]
  • remarque(_title, _footer)[body]
  • exercice(_title)[body]
  • solution()[body]
  • example()[body]
  • proof()[body]

Merci lors de l'ajout d'un quelconque raccourci ou entrée dans le template de bien vouloir le documenter dans cette section