Encontré en algún lugar un enlace a Penrose, una herramienta que sirve para crear diagramas matemáticos de todo tipo de una forma un poco diferente, sin que se requieran específicamente conocimientos de programación o diseño.

La forma en que funciona es interesante: en vez de escribir un código en algún tipo de lenguaje que genere el diagrama se escriben tres tipos de código. Luego el resultado se puede exportar como ficheros SVG, PNG o similares. El código que hay que preparar está bien explicado en la documentación:

Un dominio que describe los tipos de objetos, predicados y funciones de que se componen los diagramas.
Una substancia que define las relaciones entre esos objetos.
Un estilo que indica cómo mostrar el resultado.

Es más fácil verlo en acción que explicarlo, de modo que se puede ir al editor y cotillear un poco o visitar la página de ejemplos para hacerse una idea de lo que se puede llegar a hacer, porque parece bastante potente.

Quizá no haga falta mencionarlo, pero Penrose se llama así en honor al insigne físico, matemático y filósofo británico Roger Penrose.
# Enlace Permanente