// Este archivo es parte de la estructura de ejemplo para usar el template.
// La idea es definir aquí tus comandos propios para fácilitar el proyecto.
// Por ejemplo puedes importar el package lemmify y definir tus propios teoremas.
// Es necesario importar este archivo en cada .typ que crees.
