HTML
<script src="https://cindyjs.org/dist/latest/Cindy.js"></script>
<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: "A", type: "Free", pos: [ 4.0, 0.417910447761194, -1.4925373134328357 ], color: [ 1.0, 0.0, 0.0 ], labeled: true },
{ name: "B", type: "Free", pos: [ 4.0, -0.2962962962962963, 1.2345679012345678 ], color: [ 1.0, 0.0, 0.0 ], labeled: true },
{ name: "a", type: "Join", color: [ 0.0, 0.0, 0.0 ], args: [ "A", "B" ], clip: "inci", dashtype: "dashed" },
{ name: "Mc", type: "Mid", color: [ 1.0, 0.0, 0.0 ], args: [ "A", "B" ], labeled: true },
{ name: "b", type: "Orthogonal", color: [ 0.0, 0.0, 0.0 ], args: [ "a", "Mc" ], clip: "inci", dashtype: "dashed" },
{ name: "C", type: "PointOnLine", pos: [ -0.11783653042846519, -4.0, -0.5206363891066742 ], color: [ 1.0, 0.0, 0.0 ], args: [ "b" ], labeled: true },
{ name: "C0", type: "CircleMP", color: [ 1.0, 1.0, 1.0 ], args: [ "B", "Mc" ], size: 0, printname: "$C_{0}$" },
{ name: "B'", type: "OtherIntersectionCL", color: [ 1.0, 0.0, 0.0 ], args: [ "C0", "a", "Mc" ], labeled: true },
{ name: "c", type: "Join", color: [ 0.0, 0.0, 1.0 ], args: [ "B", "C" ], size: 2, clip: "inci" },
{ name: "d", type: "Join", color: [ 0.0, 0.0, 1.0 ], args: [ "C", "A" ], size: 2, clip: "inci" },
{ name: "e", type: "Join", color: [ 0.0, 0.0, 0.0 ], args: [ "C", "B'" ], clip: "inci", dashtype: "dashed" },
{ name: "X", type: "PointOnLine", pos: [ -2.9324384469360227, -4.0, -1.4145268182478339 ], color: [ 1.0, 0.0, 0.0 ], args: [ "c" ], labeled: true },
{ name: "f", type: "Parallel", color: [ 0.0, 0.0, 1.0 ], args: [ "a", "X" ], visible: false },
{ name: "X'", type: "Meet", color: [ 1.0, 0.0, 0.0 ], args: [ "e", "f" ], labeled: true },
{ name: "S", type: "Meet", color: [ 1.0, 0.0,...