The A-vertex of the Johnson triangle is the reflection on BC of the intersection between the symmedian AK and the circumcircle.