\langle b, c | b^2 = c^2 = e, bcbc = cbcb \rangle.
The Cayley graph of the free group on two generators a, b corresponding to the set S = {a, b, a−1, b−1} is depicted at the top of the article, and e represents the identity element.