Una de ellas no sé si convenga usarla o no. Me refiero a la que uso para definiciones y resultados, y que se distingue por encerrar el texto entre dos líneas puntadas de color verde (en realidad, si la igualdad entre la primer variable y la cadena Teorema devuelve "true" el color de la línea es azul) ¿Crees que una plantilla así es exagerada y que por ello convendría mejor no usarla?