The Johnson triangle of ABC is the triangle A'B'C' having as vertices the isogonal points of the vertices of the Brocard second triangle.
Johnson_triangle.mac