x

p

i

u

m-x

p

q

q

P = (-2, 3)
Q = (12, 3)
a = Line(P, Q)
A = (1, 5)
B = (7.98, 3.8000000000000003)
C = Point(a)
D = (6, 5)
l = Segment(A, D)
c = Segment(D, C)
d = Segment(A, C)
e = Segment(C, B)
α = Angle(A, D, C)
F = Point(a)
G = Point(a)
h = Segment(A, F)
k = Segment(G, B)
δ = Angle(D, C, A)
β = Angle(B, C, D)
γ = Angle(C, F, A)
ε = Angle(B, G, C)
B' = Mirror(B, a)
b = Segment(C, B')
f = Segment(B', G)
ζ = Angle(A, C, F)
η = Angle(B', C, G)
θ = Angle(G, C, B)