Suppose we have a group $G$ which can be generated by two elements $x$, $y$. Call $H$, $K$, $L$ the subgroups of $G$ generated by $x$, $y$ and $y^{-1}x^{-1}$, respectively.

With these data, we can build up a graph $\mathcal{G}$, by declaring the vertices of $\mathcal{G}$ to be the right-cosets of $H$, $K$ and $L$, and by adding an edge between two right-cosets if they have nonempty intersection. Obviously, $G$ acts faithfully on $\mathcal{G}$.

Geometrically, $\mathcal{G}$ can be seen a planar graph, made by triangles (the vertices of each triangle corresponds to right-cosets of different $H$, $K$, and $L$). Then, acting, e.g., by $x$ means to rotate $\mathcal{G}$ around the vertex $H$. Furthermore, if $\mathcal{G}$ is represented on a constant-curvature surface, then the angle of such a rotation is $2\pi/|H|$. Similarly for $y$ and $y^{-1}x^{-1}$. In other words, $G$ is represented in the group of automorphisms of a regular tiling.

*I've heard about this construction years ago during an undergraduate class, but back then I wasn't interested (I even forgot who was the lecturer). Lately, I rediscovered this, and I've spent few days searching the web, but I couldn't find anything resembling what I've explained above. Posting my question here is my last hope! Somehow, it looks such a simple idea, that it is hard to believe that it cannot be found anywhere!*

More precisely, **my question is the following**:

Is there a standard construction to associate a graph $\mathcal{G}$ with a group with two generators $G$, in such a way that

$\mathcal{G}$ can be realized as a regular tiling made of triangles on a constant-curvature surface, and

$G$ can be seen as a subgroup in the group of automorphisms of $\mathcal{G}$?