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: [ 4.0, 3.4871794871794877, 2.564102564102564 ], color: [ 1.0, 0.0, 0.0 ], labeled: true },
{ name: "1", type: "Free", pos: [ 4.0, 0.925170068027211, 0.6802721088435375 ], color: [ 1.0, 0.0, 0.0 ], labeled: true },
{ name: "a", type: "Join", color: [ 0.0, 0.0, 0.0 ], args: [ "O", "1" ] },
{ name: "C0", type: "CircleMP", color: [ 0.0, 0.0, 1.0 ], args: [ "O", "1" ], printname: "$C_{0}$" },
{ name: "X", type: "PointOnCircle", pos: [ { r: -3.027791697746136, i: 1.138230656441152E-16 }, -4.0, { r: -0.7931413246061388, i: 9.449106279834814E-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" ] },
{ name: "c", type: "Orthogonal", color: [ 0.5019608, 0.5019608, 0.5019608 ], args: [ "a", "X" ], clip: "inci" },
{ name: "A", type: "Meet", color: [ 1.0, 0.0, 0.0 ], args: [ "a", "c" ], size: 2.0 },
{ name: "d", type: "Segment", color: [ 1.0, 0.0, 0.0 ], args: [ "O", "A" ], size: 3 },
{ name: "e", type: "Orthogonal", color: [ 0.0, 0.0, 0.0 ], args: [ "a", "O" ] } ],
ports: [
{ id: "CSCanvas", width: 500, height: 360, transform: [ { visibleRect: [ -5, 8, 7, -4 ] } ], background: "rgb(168,176,192)" } ],
cinderella: { build: 1835, version: [ 2, 9, 1835 ] } });
</script>