I would like to share some work on equilateral triangles. I added a definition for versions earlier than 13.3