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