Octahedral honeycomb

The order-4 octahedral honeycomb, or just octahedral honeycomb, is a paracompact regular tiling of 3D hyperbolic space. 4 ideal octahedra meet at each edge. All vertices are ideal points at infinity, with infinitely many octahedra meeting at each vertex in a square tiling arrangement.

Representations
The octahedral honeycomb has the following Coxeter diagrams:


 * o4o4o3x (full symmetry)
 * o4o4o *b3x (octahedra of two types)
 * o3x3o4o4*a (octahedra of three types, x4o4x verf)