A = (6.14, -1.44)
B = (9.82, -2.68)
C = (13.18, -6.08)
a = Line(B, C)
u = Vector(B, C)
A'_1 = Mirror(A, a)
A' = Translate(A'_1, u)