The symmetries of any finite object, such as a chair or a table, all fix a point, say the centre of gravity of the object, and so act on the surface of a sphere, for example any sphere centred on the centre of gravity.

The symmetries of a repeating pattern on a carpet or tiled floor, or on a wall, supposed continued to infinity, will probably constitute one of the 17 plane crystallographic groups.

Among the works of the Dutch draughtsman Maurits C. Escher, one can find examples of all these 17 groups, and also some even more interesting designs such as Circle Limit I, II, …, whose symmetries are various discrete groups of isometries of the hyperbolic plane.

In this paper a surface group will be a discrete group of isometries of one of the following three surfaces:

1. the sphere

2. the Euclidean plane

3. the hyperbolic plane.

These are all the simply-connected surfaces of constant Gaussian curvature. We shall present a simple and uniform notation that describes all three types of group. Since this notation is based on the concept of orbifold introduced by Bill Thurston, we shall call it the orbifold notation.

Roughly speaking, an orbifold is the quotient of a manifold by a discrete group acting on it. It therefore has one point for each orbit of the group on the manifold (Orbifold = Orbit-manifold).

Mirrors and mirror-boundaries

An orbifold may have boundary curves even though our three original surfaces do not. The boundary points arise from points lying on mirrors.