We present gclc/Wingclc— a tool for visualizing geometrical (and not only geometrical) objects and notions, for teaching/studying mathematics, and for producing mathematical illustrations of high quality. gclc uses a language gc for declarative representation of figures and for storing mathematical contents of visual nature in textual form. In gclc, there is a build-in geometrical theorem prove...