φ

Z = Intersect(xAxis, yAxis)
c = Circle(Z, 2.0)
B = Point(c)
C = Point(c)
s_2 = Line(C, Z)
s_1 = Line(Z, B)
D = (2.44, 0.12)
E = Point(Circle[D, 1.0])
d = Segment(D, E)
e = Segment(D, Z)
j = Segment(E, Z)
k = Circle(Z, D)
Bild1'_1 = Mirror(Bild1, s_1)
Bild1'' = Mirror(Bild1'_1, s_2)
φ = 2.2689280275926285 rad (slider from 0 to 6.283185307179586, step 0.017453292519943295)
A = (2.38, 3.06)
f = Circle(A, 1.0)
F = Point(f)
F' = Rotate(F, φ, A)
α = Angle(F, A, F')
a = Segment(A, F)
b = Segment(A, F')
Bild1' = Rotate(Bild1, φ, Z)
D'_1 = Mirror(D, s_1)
D'' = Mirror(D'_1, s_2)
E'_1 = Mirror(E, s_1)
E'' = Mirror(E'_1, s_2)
g = Segment(D'', Z)
h = Segment(E'', Z)
D' = Rotate(D, φ, Z)
β = Angle(D, Z, D')
i = Segment(D', Z)
p = CircleArc(Z, D, D')
E' = Rotate(E, φ, Z)
γ = Angle(E, Z, E')
l = Segment(E', Z)
q = CircleArc(Z, E, E')
G = Point(s_1)
H = Point(s_2)
I = Point(s_1)
J = Point(s_2)
δ = Angle(I, Z, J)