A'

O_1 = Point(Ray[(0, 0), Vector[(0, 1)]])
O_2 = Mirror(O_1, xAxis)
f = Line(O_1, xAxis)
g = Line(O_2, xAxis)
A = Point(Ray[(0, 0), Vector[(-1, 0)]])
h = Segment(O_2, O_1)
A' = Mirror(A, yAxis)
B_1 = Midpoint(A, O_2)
C_1 = Midpoint(A, O_1)
u = Vector(A, B_1)
v = Vector(A, C_1)
i = Segment(B_1, O_2)
j = Segment(C_1, O_1)
α = Angle(O_2, A, O_1)
k = Segment(A', O_1)
l = Segment(A', O_2)
A'' = Mirror(A', O_2)
A''_1 = Mirror(A', O_1)
B = Midpoint(A''_1, O_1)
C = Midpoint(A'', O_2)
w = Vector(A''_1, B)
a = Vector(A'', C)
m = Segment(C, O_2)
n = Segment(B, O_1)
β = Angle(O_2, A', O_1)
b = false