I was trying to search in the paper for a definition of the shape, to, for example, draw it in SVG.<p>It seems there is no closed-form solution. I saw this paper is maybe easier to follow for the definition:<p><a href="https://www.math.ucdavis.edu/~romik/data/uploads/papers/sofa.pdf" rel="nofollow">https://www.math.ucdavis.edu/~romik/data/uploads/papers/sofa...</a><p>Quote:<p>It is worth noting that Gerver’s description of his shape is not fully
explicit, in the sense that the analytic formulas for the curved pieces of the shape are given in terms of four numerical constants A, B, φ and θ (where 0 < φ < θ < π/4 are angles with a certain geometric meaning), which are defined only implicitly as solutions of the nonlinear system of four equations