Code Editor : symbolshapes.thm