Symmetry groups

Schläfli symbols are closely related to (finite) reflection symmetry groups, which correspond precisely to the finite Coxeter groups and are specified with the same indices, but square brackets instead [p,q,r,...]. Such groups are often named by the regular polytopes they generate. For example, [3,3] is the Coxeter group for reflective tetrahedral symmetry, [3,4] is reflective octahedral symmetry, and [3,5] is reflective icosahedral symmetry.

Regular polygons (plane)

The Schläfli symbol of a convex regular polygon with p edges is {p}. For example, a regular pentagon is represented by {5}.

For nonconvex star polygons, the constructive notation {p⁄q} is used, where p is the number of vertices and q−1 is the number of vertices skipped when drawing each edge of the star. For example, {5⁄2} represents the pentagram.

Regular polyhedra (3 dimensions)

The Schläfli symbol of a regular polyhedron is {p,q} if its faces are p-gons, and each vertex is surrounded by q faces (the vertex figure is a q-gon).

For example, {5,3} is the regular dodecahedron. It has pentagonal (5 edges) faces, and 3 pentagons around each vertex.

See the 5 convex Platonic solids, the 4 nonconvex Kepler-Poinsot polyhedra.

Topologically, a regular 2-dimensional tessellation may be regarded as similar to a (3-dimensional) polyhedron, but such that the angular defect is zero. Thus, Schläfli symbols may also be defined for regular tessellations of Euclidean or hyperbolic space in a similar way as for polyhedra. The analogy holds for higher dimensions.

For example, the hexagonal tiling is represented by {6,3}.

Regular 4-polytopes (4 dimensions)

The Schläfli symbol of a regular 4-polytope is of the form {p,q,r}. Its (two-dimensional) faces are regular p-gons ({p}), the cells are regular polyhedra of type {p,q}, the vertex figures are regular polyhedra of type {q,r}, and the edge figures are regular r-gons (type {r}).

See the six convex regular and 10 regular star 4-polytopes.

For example, the 120-cell is represented by {5,3,3}. It is made of dodecahedron cells {5,3}, and has 3 cells around each edge.

There is one regular tessellation of Euclidean 3-space: the cubic honeycomb, with a Schläfli symbol of {4,3,4}, made of cubic cells and 4 cubes around each edge.

There are also 4 regular compact hyperbolic tessellations including {5,3,4}, the hyperbolic small dodecahedral honeycomb, which fills space with dodecahedron cells.

If a 4-polytope's symbol is palindromic (e.g. {3,3,3} or {3,4,3}), its bitruncation will only have truncated forms of the vertex figure as cells.

Regular n-polytopes (higher dimensions)

For higher-dimensional regular polytopes, the Schläfli symbol is defined recursively as {p₁, p₂, ..., p_{n − 1}} if the facets have Schläfli symbol {p₁, p₂, ..., p_{n − 2}} and the vertex figures have Schläfli symbol {p₂, p₃, ..., p_{n − 1}}.

A vertex figure of a facet of a polytope and a facet of a vertex figure of the same polytope are the same: {p₂, p₃, ..., p_{n − 2}}.

There are only 3 regular polytopes in 5 dimensions and above: the simplex, {3, 3, 3, ..., 3}; the cross-polytope, {3, 3, ..., 3, 4}; and the hypercube, {4, 3, 3, ..., 3}. There are no non-convex regular polytopes above 4 dimensions.

Dual polytopes

If a polytope of dimension n ≥ 2 has Schläfli symbol { p₁, p₂, ..., p_n − 1 } then its dual has Schläfli symbol { p_n − 1, ..., p₂, p₁ }.

If the sequence is palindromic, i.e. the same forwards and backwards, the polytope is self-dual. Every regular polytope in 2 dimensions (polygon) is self-dual.

Prismatic polytopes

Uniform prismatic polytopes can be defined and named as a Cartesian product (with operator "×") of lower-dimensional regular polytopes.

• In 0D, a point is represented by ( ). Its Coxeter diagram is empty. Its Coxeter notation symmetry is ][.
• In 1D, a line segment is represented by { }. Its Coxeter diagram is . Its symmetry is [ ].
• In 2D, a rectangle is represented as { } × { }. Its Coxeter diagram is . Its symmetry is [2].
• In 3D, a p-gonal prism is represented as { } × {p}. Its Coxeter diagram is . Its symmetry is [2,p].
• In 4D, a uniform {p,q}-hedral prism is represented as { } × {p,q}. Its Coxeter diagram is . Its symmetry is [2,p,q].
• In 4D, a uniform p-q duoprism is represented as {p} × {q}. Its Coxeter diagram is . Its symmetry is [p,2,q].

The prismatic duals, or bipyramids can be represented as composite symbols, but with the addition operator, "+".

• In 2D, a rhombus is represented as { } + { }. Its Coxeter diagram is . Its symmetry is [2].
• In 3D, a p-gonal bipyramid, is represented as { } + {p}. Its Coxeter diagram is . Its symmetry is [2,p].
• In 4D, a {p,q}-hedral bipyramid is represented as { } + {p,q}. Its Coxeter diagram is . Its symmetry is [p,q].
• In 4D, a p-q duopyramid is represented as {p} + {q}. Its Coxeter diagram is . Its symmetry is [p,2,q].

Pyramidal polytopes containing vertices orthogonally offset can be represented using a join operator, "∨". Every pair of vertices between joined figures are connected by edges.

In 2D, an isosceles triangle can be represented as ( ) ∨ { } = ( ) ∨ [( ) ∨ ( )].

In 3D:

• A digonal disphenoid can be represented as { } ∨ { } = [( ) ∨ ( )] ∨ [( ) ∨ ( )].
• A p-gonal pyramid is represented as ( ) ∨ {p}.

In 4D:

• A p-q-hedral pyramid is represented as ( ) ∨ {p,q}.
• A 5-cell is represented as ( ) ∨ [( ) ∨ {3}] or [( ) ∨ ( )] ∨ {3} = { } ∨ {3}.
• A square pyramidal pyramid is represented as ( ) ∨ [( ) ∨ {4}] or [( ) ∨ ( )] ∨ {4} = { } ∨ {4}.

When mixing operators, the order of operations from highest to lowest is ×, +, ∨.

Axial polytopes containing vertices on parallel offset hyperplanes can be represented by the ‖ operator. A uniform prism is {n}‖{n} and antiprism {n}‖r{n}.

Polygons and circle tilings

A truncated regular polygon doubles in sides. A regular polygon with even sides can be halved. An altered even-sided regular 2n-gon generates a star figure compound, 2{n}.

More information Form, Symmetry ...

Form	Schläfli symbol	Symmetry	Coxeter diagram		Example, {6}
Regular	{p}	[p]				Hexagon
Truncated	t{p} = {2p}	[[p]] = [2p]	=			Truncated hexagon (Dodecagon)	=
Altered and Holosnubbed	a{2p} = β{p}	[2p]	=			Altered hexagon (Hexagram)	=
Half and Snubbed	h{2p} = s{p} = {p}	[1+,2p] = [p]	= =			Half hexagon (Triangle)	= =

Close

Polyhedra and tilings

Coxeter expanded his usage of the Schläfli symbol to quasiregular polyhedra by adding a vertical dimension to the symbol. It was a starting point toward the more general Coxeter diagram. Norman Johnson simplified the notation for vertical symbols with an r prefix. The t-notation is the most general, and directly corresponds to the rings of the Coxeter diagram. Symbols have a corresponding alternation, replacing rings with holes in a Coxeter diagram and h prefix standing for half, construction limited by the requirement that neighboring branches must be even-ordered and cuts the symmetry order in half. A related operator, a for altered, is shown with two nested holes, represents a compound polyhedra with both alternated halves, retaining the original full symmetry. A snub is a half form of a truncation, and a holosnub is both halves of an alternated truncation.

More information , ...

Form	Schläfli symbols			Symmetry	Coxeter diagram		Example, {4,3}
Regular	${\displaystyle {\begin{Bmatrix}p,q\end{Bmatrix}}}$	{p,q}	t0{p,q}	[p,q] or [(p,q,2)]				Cube
Truncated	${\displaystyle t{\begin{Bmatrix}p,q\end{Bmatrix}}}$	t{p,q}	t0,1{p,q}					Truncated cube
Bitruncation (Truncated dual)	${\displaystyle t{\begin{Bmatrix}q,p\end{Bmatrix}}}$	2t{p,q}	t1,2{p,q}					Truncated octahedron
Rectified (Quasiregular)	${\displaystyle {\begin{Bmatrix}p\\q\end{Bmatrix}}}$	r{p,q}	t1{p,q}					Cuboctahedron
Birectification (Regular dual)	${\displaystyle {\begin{Bmatrix}q,p\end{Bmatrix}}}$	2r{p,q}	t2{p,q}					Octahedron
Cantellated (Rectified rectified)	${\displaystyle r{\begin{Bmatrix}p\\q\end{Bmatrix}}}$	rr{p,q}	t0,2{p,q}					Rhombicuboctahedron
Cantitruncated (Truncated rectified)	${\displaystyle t{\begin{Bmatrix}p\\q\end{Bmatrix}}}$	tr{p,q}	t0,1,2{p,q}					Truncated cuboctahedron

Close

Alternations, quarters and snubs

Alternations have half the symmetry of the Coxeter groups and are represented by unfilled rings. There are two choices possible on which half of vertices are taken, but the symbol does not imply which one. Quarter forms are shown here with a + inside a hollow ring to imply they are two independent alternations.

More information , ...

Alternations

Form	Schläfli symbols			Symmetry	Coxeter diagram		Example, {4,3}
Alternated (half) regular	${\displaystyle h{\begin{Bmatrix}2p,q\end{Bmatrix}}}$	h{2p,q}	ht0{2p,q}	[1+,2p,q]	=			Demicube (Tetrahedron)
Snub regular	${\displaystyle s{\begin{Bmatrix}p,2q\end{Bmatrix}}}$	s{p,2q}	ht0,1{p,2q}	[p+,2q]
Snub dual regular	${\displaystyle s{\begin{Bmatrix}q,2p\end{Bmatrix}}}$	s{q,2p}	ht1,2{2p,q}	[2p,q+]				Snub octahedron (Icosahedron)
Alternated rectified (p and q are even)	${\displaystyle h{\begin{Bmatrix}p\\q\end{Bmatrix}}}$	hr{p,q}	ht1{p,q}	[p,1+,q]
Alternated rectified rectified (p and q are even)	${\displaystyle hr{\begin{Bmatrix}p\\q\end{Bmatrix}}}$	hrr{p,q}	ht0,2{p,q}	[(p,q,2+)]
Quartered (p and q are even)	${\displaystyle q{\begin{Bmatrix}p\\q\end{Bmatrix}}}$	q{p,q}	ht0ht2{p,q}	[1+,p,q,1+]
Snub rectified Snub quasiregular	${\displaystyle s{\begin{Bmatrix}p\\q\end{Bmatrix}}}$	sr{p,q}	ht0,1,2{p,q}	[p,q]+				Snub cuboctahedron (Snub cube)

Close

Altered and holosnubbed

Altered and holosnubbed forms have the full symmetry of the Coxeter group, and are represented by double unfilled rings, but may be represented as compounds.

More information ...

Altered and holosnubbed

Form	Schläfli symbols			Symmetry	Coxeter diagram		Example, {4,3}
Altered regular	${\displaystyle a{\begin{Bmatrix}p,q\end{Bmatrix}}}$	a{p,q}	at0{p,q}	[p,q]	= ∪			Stellated octahedron
Holosnub dual regular	ß{q, p}	ß{q,p}	at0,1{q,p}	[p,q]				Compound of two icosahedra

Close

ß, looking similar to the greek letter beta (β), is the German alphabet letter eszett.

Polychora and honeycombs

More information , ...

Linear families

Form	Schläfli symbol			Coxeter diagram		Example, {4,3,3}
Regular	${\displaystyle {\begin{Bmatrix}p,q,r\end{Bmatrix}}}$	{p,q,r}	t0{p,q,r}				Tesseract
Truncated	${\displaystyle t{\begin{Bmatrix}p,q,r\end{Bmatrix}}}$	t{p,q,r}	t0,1{p,q,r}				Truncated tesseract
Rectified	${\displaystyle \left\{{\begin{array}{l}p\\q,r\end{array}}\right\}}$	r{p,q,r}	t1{p,q,r}				Rectified tesseract	=
Bitruncated		2t{p,q,r}	t1,2{p,q,r}				Bitruncated tesseract
Birectified (Rectified dual)	${\displaystyle \left\{{\begin{array}{l}q,p\\r\end{array}}\right\}}$	2r{p,q,r} = r{r,q,p}	t2{p,q,r}				Rectified 16-cell	=
Tritruncated (Truncated dual)	${\displaystyle t{\begin{Bmatrix}r,q,p\end{Bmatrix}}}$	3t{p,q,r} = t{r,q,p}	t2,3{p,q,r}				Bitruncated tesseract
Trirectified (Dual)	${\displaystyle {\begin{Bmatrix}r,q,p\end{Bmatrix}}}$	3r{p,q,r} = {r,q,p}	t3{p,q,r} = {r,q,p}				16-cell
Cantellated	${\displaystyle r\left\{{\begin{array}{l}p\\q,r\end{array}}\right\}}$	rr{p,q,r}	t0,2{p,q,r}				Cantellated tesseract	=
Cantitruncated	${\displaystyle t\left\{{\begin{array}{l}p\\q,r\end{array}}\right\}}$	tr{p,q,r}	t0,1,2{p,q,r}				Cantitruncated tesseract	=
Runcinated (Expanded)	${\displaystyle e_{3}{\begin{Bmatrix}p,q,r\end{Bmatrix}}}$	e3{p,q,r}	t0,3{p,q,r}				Runcinated tesseract
Runcitruncated			t0,1,3{p,q,r}				Runcitruncated tesseract
Omnitruncated			t0,1,2,3{p,q,r}				Omnitruncated tesseract

Close

Alternations, quarters and snubs

More information , ...

Alternations

Form	Schläfli symbol			Coxeter diagram		Example, {4,3,3}
Alternations
Half p even	${\displaystyle h{\begin{Bmatrix}p,q,r\end{Bmatrix}}}$	h{p,q,r}	ht0{p,q,r}				16-cell
Quarter p and r even	${\displaystyle q{\begin{Bmatrix}p,q,r\end{Bmatrix}}}$	q{p,q,r}	ht0ht3{p,q,r}
Snub q even	${\displaystyle s{\begin{Bmatrix}p,q,r\end{Bmatrix}}}$	s{p,q,r}	ht0,1{p,q,r}				Snub 24-cell
Snub rectified r even	${\displaystyle s\left\{{\begin{array}{l}p\\q,r\end{array}}\right\}}$	sr{p,q,r}	ht0,1,2{p,q,r}				Snub 24-cell	=
Alternated duoprism		s{p}s{q}	ht0,1,2,3{p,2,q}				Great duoantiprism

Close

Bifurcating families

More information , ...

Bifurcating families

Form	Extended Schläfli symbol			Coxeter diagram		Examples
Quasiregular	${\displaystyle \left\{p,{q \atop q}\right\}}$	{p,q1,1}	t0{p,q1,1}				Demitesseract (16-cell)
Truncated	${\displaystyle t\left\{p,{q \atop q}\right\}}$	t{p,q1,1}	t0,1{p,q1,1}				Truncated demitesseract (Truncated 16-cell)
Rectified	${\displaystyle \left\{{\begin{array}{l}p\\q\\q\end{array}}\right\}}$	r{p,q1,1}	t1{p,q1,1}				Rectified demitesseract (24-cell)
Cantellated	${\displaystyle r\left\{{\begin{array}{l}p\\q\\q\end{array}}\right\}}$	rr{p,q1,1}	t0,2,3{p,q1,1}				Cantellated demitesseract (Cantellated 16-cell)
Cantitruncated	${\displaystyle t\left\{{\begin{array}{l}p\\q\\q\end{array}}\right\}}$	tr{p,q1,1}	t0,1,2,3{p,q1,1}				Cantitruncated demitesseract (Cantitruncated 16-cell)
Snub rectified	${\displaystyle s\left\{{\begin{array}{l}p\\q\\q\end{array}}\right\}}$	sr{p,q1,1}	ht0,1,2,3{p,q1,1}				Snub demitesseract (Snub 24-cell)
Quasiregular	${\displaystyle \left\{r,{p \atop q}\right\}}$	{r,/q\,p}	t0{r,/q\,p}				Tetrahedral-octahedral honeycomb
Truncated	${\displaystyle t\left\{r,{p \atop q}\right\}}$	t{r,/q\,p}	t0,1{r,/q\,p}				Truncated tetrahedral-octahedral honeycomb
Rectified	${\displaystyle \left\{{\begin{array}{l}r\\p\\q\end{array}}\right\}}$	r{r,/q\,p}	t1{r,/q\,p}				Rectified tetrahedral-octahedral honeycomb (Rectified cubic honeycomb)
Cantellated	${\displaystyle r\left\{{\begin{array}{l}r\\p\\q\end{array}}\right\}}$	rr{r,/q\,p}	t0,2,3{r,/q\,p}				Cantellated cubic honeycomb
Cantitruncated	${\displaystyle t\left\{{\begin{array}{l}r\\p\\q\end{array}}\right\}}$	tr{r,/q\,p}	t0,1,2,3{r,/q\,p}				Cantitruncated cubic honeycomb
Snub rectified	${\displaystyle s\left\{{\begin{array}{l}p\\q\\r\end{array}}\right\}}$	sr{p,/q,\r}	ht0,1,2,3{p,/q\,r}				Snub rectified cubic honeycomb (non-uniform, but near miss)

Close