J=[1,0]

x

X

x

x

-x

O

M

J

α

-x

α

O = Intersect(xAxis, yAxis)
J = Point(xAxis)
c = Circle(O, J)
f = OrthogonalLine(O, xAxis)
g = OrthogonalLine(O, f)
M = Point(c)
h = Ray(O, M)
u = Vector(O, M)
α = Angle(J, O, M)
d = CircleArc(O, J, M)
e = Circle(O, d)
X_1 = Intersect(e, g, 1)
i = Segment(O, X_1)
X_2 = Intersect(e, g, 2)
A = Midpoint(J, M)
B = Point(g)
j = OrthogonalLine(B, g)
k = Circle(B, Segment[O, J])
C = Point(k)
D = Intersect(k, g, 1)
p = CircleArc(B, C, D)
E = Midpoint(D, C)
q = Circle(B, p)
F, G = Intersect(q, g)
β = Angle(D, B, C)
v = Vector(B, C)
l = Segment(B, G)
γ = Angle(C, B, D)