[math-fun] gyroelongated bifastigium