每个符号出现两次带有指数 +1或 -1。指数 -1的符号对应于该边的定向与基本多边形的定向相反。
例子.上图中标有相同字母的两条边，沿着箭头方向粘合。
群生成元.对标准对称形状，多边形的边可以理解为一个群的生成元。然后这个多边形，写成群元素形式，成为由这些边生成的自由群上一个约束，给出有一个约束的群呈示。因此，例如给定欧几里得平面formula_9，设群元素formula_10在这个平面上有作用formula_11而formula_12。则formul