Wythoff Symbols and TOCID Symbols

Contents
1. Wythoff Symbols 
2. Wythoff Symbols (modified notation)
3. TOCID notation
4. Table of Platonic and Archimedian Solids
5. Table of Uniform Star Polyhedra 
6. Blends of Polyhedra

I am indebted to Dr Norman Johnson for providing this explanation of Wythoff Symbols and TOCID symbols, and for giving me permission to include his work here. JM. 

1. Wythoff Symbols

A Schwarz triangle is a spherical, Euclidean, or hyperbolic triangle that covers S^2, E^2, or H^2 a finite number of times when repeatedly reflected in its sides. In Wythoff's construction the vertices of a uniform polyhedron or tessellation are the kaleidoscopic images (or half the images) of a suitably chosen point on the boundary or in the interior of some Schwarz triangle. A Schwarz triangle (p q r), with angles pi/p, pi/q, pi/r, may be represented by the Coxeter diagram below:


The polyhedron or tessellation is represented by its Wythoff diagram, in which one or more nodes of the Coxeter diagram are ringed. For a snub figure all three nodes are ringed and then the nodes are removed.

In their 1954 monograph "Uniform Polyhedra", Coxeter, Longuet-Higgins and Miller employed Wythoff's construction systematically to obtain all the uniform polyhedra that can be realized in Euclidean space, as well as a number of uniform tessellations of the Euclidean plane. In doing so they identified each polyhedron or tessellation by a Wythoff symbol based on the associated Schwarz triangle (p q r), indicating which nodes in the Wythoff diagram are ringed or that the diagram has three nodeless rings. Their symbols generally take one of the forms

Certain polyhedra or tessellations are "blends" of two other figures and have symbols with four numbers.

The four Wythoff symbols above correspond to the Wythoff diagrams

2. Wythoff Symbols (modified notation)

There is also an improved version of the Wythoff symbol that is somewhat more intuitive and that has several other advantages. In the modified notation, the corresponding Wythoff symbols are

   
In general, the face polygons of the respective uniform polyhedra are {p}'s and {q}'s; {p}'s, {q}'s, and {2r}'s; {2p}'s, {2q}'s, and {2r}'s; and {p}'s, {q}'s, and {r}'s surrounded by triangles. However, a "digon" {2} is merely an edge.

Two other possible Wythoff diagrams are


with p even in the first case and q even in the second. The respective Wythoff symbols are


The face polygons of the first figure are {p/2}'s and {q}'s. Those of the second are {p}'s, {q/2}'s, and triangles. Again, any {2}'s may be ignored.

Polyhedra or tessellations (usually nonorientable) obtained as blends of other figures having the same vertices and edges and some of the same faces include the "versi-quasi-regular" figures


The four numbers in the symbol indicate that the figure is derived from >two< Schwarz triangles, (r s p/2) and (r s q/2). The face polygons are {2r}'s and {2s}'s.

The unique uniform polyhedron with eight faces at a vertex ("Miller's monster") has the symbol

| 3/2 5/3 3 5/2 = {3/2 5/3 3 5/2}.

Its face polygons are {3}'s, {5/2}'s, and squares, with the faces of each type occurring in coplanar pairs.

Among the advantages of the modified notation are that it is easy to see what kind of faces a figure has and to recognize figures that are closely related or that belong to the same class. Moreover, unlike the original notation, the modified Wythoff symbols are readily extended to
uniform polychora or 3-honeycombs obtained by Wythoff's construction from Goursat tetrahedra.

3. TOCID Notation

Wythoff symbols are natural companions to the TOCID notation whereby each Platonic or Archimedean solid is denoted by a symbol based on its Keplerian name. From the octahedron O = {2 3}(4) or the cube C = {2 4}(3) we can derive the quasi-regular cuboctahedron CO = {3 4}(2), and from the icosahedron I = {2 3}(5) or the dodecahedron D = {2 5}(3) we can derive the analogous icosidodecahedron ID = {3 5}(2). The "tetratetrahedron" TT = {3 3}(2) is the same as the octahedron. Other uniform solids can be obtained from the regular and quasi-regular solids by means of one of the operations of "rectification," "simiation," or "tomiation," denoted by prefixing one of the lower-case letters 'r', 's', or 't'. In keeping with Kepler's terminology, 'r', 's', and 't' can also be rendered as "rhomb(i)-," "snub," and "truncated."

The TOCID notation can be extended to the Kepler-Poinsot polyhedra and other uniform star polyhedra, as well as to prisms, antiprisms, and crossed antiprisms. In the symbol for a quasi-quasi-regular or versi-quasi-regular polyhedron, one or two lower-case letters indicate the kind and number of faces such a polyhedron has in addition to (or instead of) the faces found in the associated quasi-regular polyhedron. Originally, no distinction was made between octagons and octagrams or between decagons and decagrams. But a slight modification of the notation makes it possible to specify each type of face uniquely.

The letters 'a', 'b', 'c', 'd', 'e', 'i', and 'r' may be regarded as nominal abbreviations for certain descriptors, corresponding to a given number of faces, as follows:

a     4 hexagons
b     6 octagons
c     6 octagrams
d     12 decagons
e     12 decagrams
i     20 hexagons
r     N squares (N=6, 12 or 30) 

Below I list all the uniform polyhedra, convex or starry, with their TOCID symbols, Wythoff symbols, and names. In a few cases polyhedra can be derived in more than one way and so have alternative symbols and names. Such duplications are indicated by giving the canonical TOCID symbol in parentheses after the alternative name.

4. The Platonic and Archimedean Solids

 T  {2 3}(3) Tetrahedron (alt. 2Q)
 O  {2 3}(4) Octahedron (alt. TT, 3Q)
 C  {2 4}(3) Cube (alt 4P)
 I  {2 3}(5) Icosahedron (alt. sTT, sO)
 D  {2 5}(3) Dodecahedron

 

 TT  {3 3}(2) Tetratetrahedron (O)
 CO  {3 4}(2) Cuboctahedron (alt. rTT)
 ID  {3 5}(2) Icosidodecahedron

 

 sO  {3}|4 2|  Snub octahedron (I)

 

 tT  [3]{3 2}  Truncated tetrahedron
 tO  [3]{4 2}  Truncated octahedron (alt. tTT)
 tC  [4]{3 2}  Truncated cube
 tI  [3]{5 2}  Truncated icosahedron
 tD  [5]{3 2}  Truncated dodecahedron

 

 rTT  [2]{3 3}  Rhombitetratetrahedron (CO)
 rCO  [2]{3 4}  Rhombicuboctahedron
 rID  [2]{3 5}  Rhombicosidodecahedron

 

 sTT  {2 3 3}  Snub tetratetrahedron (I)
 sCO  {2 3 4}  Snub cuboctahedron
 sID  {2 3 5}  Snub icosidodecahedron

 

 tTT  [2 3 3]  Truncated tetratetrahedron (tO)
 tCO  [2 3 4]  Truncated cuboctahedron
 tID  [2 3 5]  Truncated icosidodecahedron

 

 3P  [2]{3 2}  Triangular prism
 4P  [2]{4 2}  Square prism (C)
 nP  [2]{n 2}  n-gonal prism (n > 4)

 

 2Q  {2 2 2}  Disphenoid (T)
 3Q  {2 2 3}  Triangular antiprism (O)
 nQ  {2 2 n}  n-gonal antiprism (n > 3)

 

 t2P  [2 2 2]  Rectangular prism (C)
 t3P  [2 2 3]  Tomo-triangular prism (6P)
 tnP  [2 2 n]  Tomo-n-gonal prism (2nP)


5. Uniform Star Polyhedra

 D*  {2 5/2}(5)  Small stellated dodecahedron
 E  {2 5}(5/2)  Great dodecahedron
 E*  {2 5/2}(3)  Great stellated dodecahedron
 J  {2 3}(5/2)  Great icosahedron (alt. s*O, s*TT)

 

 ID  {3 5}(2)  (Small) icosidodecahedron
 ED*  {5/2 5}(2)  Dodecadodecahedron
 JE*  {3 5/2}(2)  Great icosidodecahedron
 ID*  {3 5/2}(3)  Small ditrigonary icosidodecahedron
 DE*  {5/3 5}(3)  Ditrigonary dodecadodecahedron
 JE  {3 5}(3/2)  Great ditrigonary icosidodecahedron

 

 T|T

 [2]{3/2 3}

 Tetrahemihexahedron

 C|O

 [3]{4/3 4}

 Cubohemioctahedron (alt ra|TT)

 O|C

 [3]{3/2 3}

 Octahemioctahedron (alt. aTT)

 D|I

 [5]{5/4 5}

 Small dodecahemidodecahedron

 I|D

 [5]{3/2 3}

 Small icosahemidodecahedron

 

 E|D*

 [3]{5/4 5}

 Small dodecahemiicosahedron

 D*|E

 [3]{5/3 5/2}

 Great dodecahemiicosahedron

 J|E*

 [5/3]{3/2 3}

 Great icosahemidodecahedron

 E*|J

 [5/3]{5/3 5/2}

 Great dodecahemidodecahedron

 

 s*O

 {3/2}|4 2|

 Retrosnub octahedron (J)

 

 tC*

 [4/3]{3 2}

 Stellatruncated cube

 tD*

 [5/3]{5 2}

 Small stellatruncated dodecahedron

 tE

 [5]{5/2 2}

 Great truncated dodecahedron

 tE*

 [5/3]{3 2}

 Great stellatruncated dodecahedron

 tJ

 [3]{5/2 2}

 Great truncated icosahedron

 

 rTT

 [2]{3 3}

 Rhombitetratetrahedron (CO)

 aTT

 [3]{3/2 3}

 Allelotetratetrahedron (O|C)

 rCO

 [2]{3 4}

 (Small) rhombicuboctahedron

 bCO

 [4]{3/2 4}

 Small cubicuboctahedron

 cOC*

 [4/3]{3 4}

 Great cubicuboctahedron

 rOC*

 [2]{3/2 4}

 Great rhombicuboctahedron

 rID

 [2]{3 5}

 (Small) rhombicosidodecahedron

 dID

 [5]{3/2 5}

 Small dodekicosidodecahedron

 iID*

 [3]{3 5/2}

 Small icosified icosidodecahedron

 dID*

 [5]{3 5/3}

 Small dodekified icosidodecahedron

 rED*

 [2]{5/2 5}

 Rhombidodecadodecahedron

 iED*

 [3]{5/3 5}

 Icosified dodecadodecahedron

 eJE

 [5/3]{3 5}

 Great dodekified icosidodecahedron

 iJE

 [3]{3/2 5}

 Great icosified icosidodecahedron

 eJE*

 [5/3]{3 5/2}

 Great dodekicosidodecahedron

 rJE*

 [2]{3 5/3}

 Great rhombicosidodecahedron

 

 ra|TT

 3/2[2 3]3/2

 Rhomballelohedron (C|O)

 rb|CO

 3/2[2 4]4/2

 Small rhombicube

 rc|OC*

 3/2[2 4/3]4/2

 Great rhombicube

 rd|ID

 3/2[2 5]5/2

 Small rhombidodecahedron

 di|ID*

 3/2[3 5]5/4

 Small dodekicosahedron

 ri|ED*

 5/4[2 3]5/2

 Rhombicosahedron

 ei|JE

 3/2[3 5/3]5/2

 Great dodekicosahedron

 re|JE*

 3/2[2 5/3]5/4

 Great rhombidodecahedron

    

 tTT

 [2 3 3]

 Truncated tetratetrahedron (tO)

 tCO

 [2 3 4]

 Truncated cuboctahedron

 tOC*

 [2 3 4/3]

 Stellatruncated cuboctahedron

 tCC*

 [3 4/3 4]

 Cubitruncated cuboctahedron

 tID

 [2 3 5]

 Truncated icosidodecahedron

 tED*

 [2 5/3 5]

 Stellatruncated dodecadodecahedron

 tDE*

 [3 5/3 5]

 Icositruncated dodecadodecahedron

 tJE*

 [2 3 5/3]

 Stellatruncated icosidodecahedron

 

 sTT

 {2 3 3}

 Snub tetratetrahedron (I)

 s*TT

 {2 3/2 3/2}

 Retrosnub tetratetrahedron (J)

 sCO

 {2 3 4}

 Snub cuboctahedron

 sID

 {2 3 5}

 (Small) snub icosidodecahedron

 sID*

 {3 3 5/2}

 Snub disicosidodecahedron

 s*ID*

 {3/2 3/2 5/2}

 Retrosnub disicosidodecahedron

 sED*

 {2 5/2 5}

 Snub dodecadodecahedron

 s'ED*

 {2 5/3 5}

 Vertisnub dodecadodecahedron

 sDE*

 {3 5/3 5}

 Icosisnub dodecadodecahedron

 sJE*

 {2 3 5/2}

 Great snub icosidodecahedron

 s'JE*

 {2 3 5/3}

 Great vertisnub icosidodecahedron

 s*JE*

 {2 3/2 5/3}

 Great retrosnub icosidodecahedron

 SJE*

 {3 5/3 5/2}

 Great dodecasnub icosidodecahedron

    

 SSJE*

 {3/2 5/3 3 5/2}

 Great snub disicosidisdodecahedron

 

 5P*

 [2]{5/2 2}

 Pentagrammatic prism

 n/d P

 [2]{n/d 2}

 d-fold n-gonal prism

 

 5Q*

 {2 2 5/2}

 Pentagrammatic antiprism

 n/d Q

 {2 2 n/d}

 d-fold n-gonal antiprism

 

 5R*

 {2 2 5/3}

 Pentagraphic antiprism

 n/d R

 {2 2 n/(n-d)}

 d-fold n-gonal crossed antiprism

 

 t4P*

 [2 2 4/3]

 Tomo-tetragraphic prism (8/3 P)

 t5P*

 [2 2 5/3]

 Tomo-pentagraphic prism (10/3 P)

 t(n/d)P

 [2 2 n/d]

 d-fold tomo-n-gonal prism (2n/d P)



6. Blends of polyhedra

In the list below I have grouped sets of three polyhedra with the same
vertices and edges, each being a "blend" of the other two.

 rTT

 [2]{3 3}

Rhombitetratetrahedron (CO)

 aTT

 [3]{3/2 3}

Allelotetratetrahedron (O|C)

 ra|TT

 3/2[2 3]3/2

Rhomballelohedron (C|O)

 

 rCO

 [2]{3 4}

(Small) rhombicuboctahedron

 bCO

 [4]{3/2 4}

Small cubicuboctahedron

 rb|CO

 3/2[2 4]4/2

Small rhombicube

 

 cOC*

 [4/3]{3 4}

Great cubicuboctahedron

 rOC*

 [2]{3/2 4}

Great rhombicuboctahedron

 rc|OC*

 3/2[2 4/3]4/2

Great rhombicube

 

 rID

 [2]{3 5}

(Small) rhombicosidodecahedron

 dID

 [5]{3/2 5}

Small dodekicosidodecahedron

 rd|ID

 3/2[2 5]5/2

Small rhombidodecahedron

 

 iID*

 [3]{3 5/2}

Small icosified icosidodecahedron

 dID*

 [5]{3 5/3}

Small dodekified icosidodecahedron

 di|ID*

 3/2[3 5]5/4

Small dodekicosahedron

 

 rED*

 [2]{5/2 5}

Rhombidodecadodecahedron

 iED*

 [3]{5/3 5}

Icosified dodecadodecahedron

 ri|ED*

 5/4[2 3]5/2

Rhombicosahedron

 

 eJE

 [5/3]{3 5}

Great dodekified icosidodecahedron

 iJE

 [3]{3/2 5}

Great icosified icosidodecahedron

 ei|JE

 3/2[3 5/3]5/2

Great dodekicosahedron

 

 eJE*

 [5/3]{3 5/2}

Great dodekicosidodecahedron

 rJE*

 [2]{3 5/3}

Great rhombicosidodecahedron

 re|JE*

 3/2[2 5/3]5/4

Great rhombidodecahedron