HTML
<script src="https://cindyjs.org/dist/v0.8.7/Cindy.js"></script>
<div id="CSCanvas"></div>
<script>
CindyJS({
scripts: "cs*",
defaultAppearance: { fontFamily: "sans-serif", lineSize: 1, pointSize: 5.0, textsize: 12.0 },
angleUnit: "°",
geometry: [
{ name: "O", type: "Free", pos: [ 3.411764705882353, -4.0, 0.9803921568627452 ], color: [ 1.0, 0.0, 0.0 ], labeled: true },
{ name: "1", type: "Free", pos: [ 4.0, -2.0606060606060606, 0.5050505050505051 ], color: [ 1.0, 0.0, 0.0 ], labeled: true },
{ name: "a", type: "Join", color: [ 0.0, 0.0, 0.0 ], args: [ "O", "1" ], clip: "inci", dashtype: "dashdot" },
{ name: "C0", type: "CircleMP", color: [ 0.0, 0.0, 1.0 ], args: [ "O", "1" ], printname: "$C_{0}$" },
{ name: "X", type: "PointOnCircle", pos: [ 4.0, { r: -1.0646196249156963, i: 3.3246062346353936E-17 }, { r: 0.5417076767112103, i: 2.849629632392791E-18 } ], color: [ 1.0, 0.0, 0.0 ], args: [ "C0" ], labeled: true },
{ name: "b", type: "Join", color: [ 0.0, 0.0, 1.0 ], args: [ "O", "X" ], clip: "inci" },
{ name: "c", type: "Orthogonal", color: [ 0.0, 0.0, 1.0 ], args: [ "a", "X" ], visible: false },
{ name: "D", type: "Meet", color: [ 1.0, 0.0, 0.0 ], args: [ "a", "c" ], visible: false, labeled: true },
{ name: "d", type: "Segment", color: [ 1.0, 0.0, 0.0 ], args: [ "O", "D" ], size: 2 },
{ name: "e", type: "Segment", color: [ 1.0, 1.0, 0.0 ], args: [ "X", "D" ], size: 2 },
{ name: "E0", type: "AngleMark", color: [ 0.0, 0.0, 1.0 ], args: [ "O", "1", "X" ] },
{ name: "A", type: "PointOnLine", pos: [ 4.0, -0.5870503597122303, 0.14388489208633096 ], color: [ 1.0, 0.0, 0.0 ], args: [ "a" ], labeled: true } ],
ports: [
{ id: "CSCanvas", width: 400, height: 367, transform: [ { visibleRect: [ -6.66, 2.42, 12.82, -11.26 ] } ], background: "rgb(168,176,192)" } ],
cinderella: { build: 1835, version: [ 2, 9, 1835 ] } });
</script>