H_a = (-3, 1)
f = OrthogonalLine(H_a, xAxis)
A = Point(f)
g = Line(H_a, xAxis)
M_a = Point(g)
m_a = Segment(A, M_a)
h_a = Segment(A, H_a)
h = Segment(H_a, M_a)
T_a = Point(h)
t_a = Segment(A, T_a)
i = OrthogonalLine(M_a, h)
B_{1} = Mirror(H_a, t_a)
j = Line(A, B_{1})
O = Intersect(j, i)
c = Circle(O, A)
α = Angle(H_a, A, T_a)
β = Angle(T_a, A, O)
B, C = Intersect(c, g)
k = Segment(A, B)
l = Segment(A, C)
m = Segment(B, C)
n = Line(A, T_a)
D = Intersect(n, i)
D' = Dilate(D, 1.2, T_a)
p = Segment(T_a, D')
O' = Dilate(O, 1.2, A)
q = Segment(A, O')
E = Rotate(T_a, 20°, A)
F = Rotate(T_a, (-(20°)), A)
d = CircleArc(A, F, E)
PA: A
PTa: T_a
PMa: M_a