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: [ -0.6506024096385542, -4.0, -0.6024096385542169 ], color: [ 1.0, 0.0, 0.0 ], labeled: true },
{ name: "B=U'", type: "Free", pos: [ -2.9850746268656714, -4.0, 1.4925373134328357 ], color: [ 1.0, 0.0, 0.0 ], labeled: true },
{ name: "C", type: "Free", pos: [ 4.0, -0.992, 0.4 ], color: [ 1.0, 0.0, 0.0 ], labeled: true },
{ name: "a", type: "Join", color: [ 0.0, 0.0, 1.0 ], args: [ "B=U'", "C" ], labeled: true, size: 2 },
{ name: "b", type: "Join", color: [ 0.0, 0.0, 1.0 ], args: [ "C", "A" ], labeled: true, size: 2 },
{ name: "c", type: "Join", color: [ 0.0, 0.0, 1.0 ], args: [ "A", "B=U'" ], labeled: true, size: 2 },
{ name: "U", type: "PointOnLine", pos: [ 3.997899663601706, -4.0, 1.5365107031712955 ], color: [ 1.0, 0.0, 0.0 ], args: [ "a" ], labeled: true },
{ name: "u", type: "Join", color: [ 0.7568628, 0.0, 0.0 ], args: [ "A", "U" ], labeled: true },
{ name: "e", type: "Parallel", color: [ 0.0, 1.0, 1.0 ], args: [ "a", "A" ] },
{ name: "f", type: "Parallel", color: [ 1.0, 0.0, 0.0 ], args: [ "u", "B=U'" ], size: 2 },
{ name: "W'", type: "Meet", color: [ 1.0, 0.0, 0.0 ], args: [ "e", "f" ], labeled: true },
{ name: "C1", type: "CircleMP", color: [ 1.0, 1.0, 1.0 ], args: [ "B=U'", "A" ], size: 0, printname: "$C_{1}$" },
{ name: "g", type: "Parallel", color: [ 0.0, 1.0, 1.0 ], args: [ "b", "W'" ] },
{ name: "W", type: "Meet", color: [ 1.0, 0.0, 0.0 ], args: [ "c", "g" ], labeled: true },
{ name: "w", type: "Join", color: [ 0.7568628, 0.0, 0.0 ], args: [ "C", "W" ], labeled: true },
{ name: "k", type: "Parallel", color: [ 1.0, 0.0, 0.0 ], args: [ "w", "W'" ], size: 2...