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) |
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} |
|
[3]{4/3 4} |
Cubohemioctahedron (alt ra|TT) |
|
[3]{3/2 3} |
Octahemioctahedron (alt. aTT) |
|
D|I |
[5]{5/4 5} |
|
I|D |
[5]{3/2 3} |
E|D* |
[3]{5/4 5} |
|
D*|E |
[3]{5/3 5/2} |
|
J|E* |
[5/3]{3/2 3} |
|
E*|J |
[5/3]{5/3 5/2} |
s*O |
{3/2}|4 2| |
tC* |
[4/3]{3 2} |
|
tD* |
[5/3]{5 2} |
|
tE |
[5]{5/2 2} |
|
tE* |
[5/3]{3 2} |
|
tJ |
[3]{5/2 2} |
rTT |
[2]{3 3} |
|
aTT |
[3]{3/2 3} |
|
rCO |
[2]{3 4} |
|
bCO |
[4]{3/2 4} |
|
cOC* |
[4/3]{3 4} |
|
rOC* |
[2]{3/2 4} |
|
rID |
[2]{3 5} |
|
dID |
[5]{3/2 5} |
|
iID* |
[3]{3 5/2} |
|
dID* |
[5]{3 5/3} |
|
rED* |
[2]{5/2 5} |
|
iED* |
[3]{5/3 5} |
|
eJE |
[5/3]{3 5} |
|
iJE |
[3]{3/2 5} |
|
eJE* |
[5/3]{3 5/2} |
|
rJE* |
[2]{3 5/3} |
ra|TT |
3/2[2 3]3/2 |
|
rb|CO |
3/2[2 4]4/2 |
|
rc|OC* |
3/2[2 4/3]4/2 |
|
rd|ID |
3/2[2 5]5/2 |
|
di|ID* |
3/2[3 5]5/4 |
|
ri|ED* |
5/4[2 3]5/2 |
|
ei|JE |
3/2[3 5/3]5/2 |
|
re|JE* |
3/2[2 5/3]5/4 |
tTT |
[2 3 3] |
|
tCO |
[2 3 4] |
|
tOC* |
[2 3 4/3] |
|
tCC* |
[3 4/3 4] |
|
tID |
[2 3 5] |
|
tED* |
[2 5/3 5] |
|
tDE* |
[3 5/3 5] |
|
tJE* |
[2 3 5/3] |
sTT |
{2 3 3} |
|
s*TT |
{2 3/2 3/2} |
|
sCO |
{2 3 4} |
|
sID |
{2 3 5} |
|
sID* |
{3 3 5/2} |
|
s*ID* |
{3/2 3/2 5/2} |
|
sED* |
{2 5/2 5} |
|
s'ED* |
{2 5/3 5} |
|
sDE* |
{3 5/3 5} |
|
sJE* |
{2 3 5/2} |
|
s'JE* |
{2 3 5/3} |
|
s*JE* |
{2 3/2 5/3} |
|
SJE* |
{3 5/3 5/2} |
SSJE* |
{3/2 5/3 3 5/2} |
5P* |
[2]{5/2 2} |
|
n/d P |
[2]{n/d 2} |
d-fold n-gonal prism |
5Q* |
{2 2 5/2} |
|
n/d Q |
{2 2 n/d} |
d-fold n-gonal antiprism |
5R* |
{2 2 5/3} |
|
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} |
|
aTT |
[3]{3/2 3} |
|
ra|TT |
3/2[2 3]3/2 |
rCO |
[2]{3 4} |
|
bCO |
[4]{3/2 4} |
|
rb|CO |
3/2[2 4]4/2 |
cOC* |
[4/3]{3 4} |
|
rOC* |
[2]{3/2 4} |
|
rc|OC* |
3/2[2 4/3]4/2 |
rID |
[2]{3 5} |
|
dID |
[5]{3/2 5} |
|
rd|ID |
3/2[2 5]5/2 |
iID* |
[3]{3 5/2} |
|
dID* |
[5]{3 5/3} |
|
di|ID* |
3/2[3 5]5/4 |
rED* |
[2]{5/2 5} |
|
iED* |
[3]{5/3 5} |
|
ri|ED* |
5/4[2 3]5/2 |
eJE |
[5/3]{3 5} |
|
iJE |
[3]{3/2 5} |
|
ei|JE |
3/2[3 5/3]5/2 |
eJE* |
[5/3]{3 5/2} |
|
rJE* |
[2]{3 5/3} |
|
re|JE* |
3/2[2 5/3]5/4 |