Code Editor : diagrams.thm