This hypercompact hyperbolic tetracomb uses hisquat in the sense of an infinite bollohedron and squat in the sense of an infinite horohedron as cell. Further o3x3x4o4*b and rect( x4o3o4x4*b ) get being used as infinite bollochora.

Incidence matrix according to symbol extension

rect( o4x4o3*a4x4o3*a )   (N,M,K,L,P → ∞)

mids( . x .    . .    ) & | 96NMKLP |        4       2        4 |       2       1       2       4       4       2        6 |      2      2      1       3       6       2       2 |   3    1      1      2
--------------------------+---------+---------------------------+----------------------------------------------------------+------------------------------------------------------+-----------------------
verf( o4x .    . .    ) & |       2 | 192NMKLP       *        * |       1       0       0       1       1       1        0 |      1      1      1       0       2       1       0 |   2    1      0      1
verf( . x4o    . .    ) & |       2 |        * 96NMKLP        * |       0       1       0       2       0       0        2 |      2      0      0       2       2       1       1 |   2    1      1      1
verf( . x .    x .    )   |       2 |        *       * 192NMKLP |       0       0       1       0       1       0        2 |      0      1      0       2       2       0       1 |   2    0      1      1
--------------------------+---------+---------------------------+----------------------------------------------------------+------------------------------------------------------+-----------------------
rect( o4x .    . .    ) & |       4 |        4       0        0 | 48NMKLP       *       *       *       *       *        * |      1      1      1       0       0       0       0 |   2    1      0      0
rect( . x4o    . .    ) & |       4 |        0       4        0 |       * 24NMKLP       *       *       *       *        * |      2      0      0       2       0       0       0 |   2    1      1      0
rect( . x .    x .    )   |       4 |        0       0        4 |       *       * 48NMKLP       *       *       *        * |      0      1      0       2       0       0       0 |   2    0      1      0
verf( o3o4x4*a . .    ) & |       6 |        3       3        0 |       *       *       * 64NMKLP       *       *        * |      1      0      0       0       1       1       0 |   1    1      0      1
verf( o4x . *a4x .    )   |       4 |        2       0        2 |       *       *       *       * 96NMKLP       *        * |      0      1      0       0       2       0       0 |   2    0      0      1
verf( o4x .    . o3*a ) & |       3 |        3       0        0 |       *       *       *       *       * 64NMKLP        * |      0      0      1       0       1       1       0 |   1    1      0      1
verf( . x4o    x .    ) & |       3 |        0       1        2 |       *       *       *       *       *       * 192NMKLP |      0      0      0       1       1       0       1 |   1    0      1      1
--------------------------+---------+---------------------------+----------------------------------------------------------+------------------------------------------------------+-----------------------
rect( o3o4x4*a . .    ) & ♦     12M |      12M     12M        0 |      3M      3M       0      4M       0       0        0 | 16NKLP      *      *       *       *       *       * |   1    1      0      0
rect( o4x . *a4x .    )   ♦      8K |       8K       0       8K |      2K       0      2K       0      4K       0        0 |      * 24NMLP      *       *       *       *       * |   2    0      0      0
rect( o4x .    . o3*a ) & ♦      12 |       24       0        0 |       6       0       0       0       0       8        0 |      *      * 8NMKLP       *       *       *       * |   1    1      0      0
rect( . x4o    x .    ) & ♦      12 |        0       8       16 |       0       2       4       0       0       0        8 |      *      *      * 24NMKLP       *       *       * |   1    0      1      0
verf( o4x4o3*a4x .    ) & ♦       9 |        6       3        6 |       0       0       0       1       3       1        3 |      *      *      *       * 64NMKLP       *       * |   1    0      0      1
verf( o4x4o3*a . o3*a ) & ♦      12 |       12       6        0 |       0       0       0       4       0       4        0 |      *      *      *       *       * 16NMKLP       * |   0    1      0      1
verf( . x4o    x4o    )   ♦       4 |        0       2        4 |       0       0       0       0       0       0        4 |      *      *      *       *       *       * 48NMKLP |   0    0      1      1
--------------------------+---------+---------------------------+----------------------------------------------------------+------------------------------------------------------+-----------------------
rect( o4x4o3*a4x .    ) & ♦   36MKL |    48MKL   24MKL    48MKL |   12MKL    6MKL   12MKL    8MKL   24MKL    8MKL    24MKL |    2KL    6ML    MKL    3MKL    8MKL       0       0 | 8NP    *      *      *
rect( o4x4o3*a . o3*a ) & ♦    12MP |     24MP    12MP        0 |     6MP     3MP       0     8MP       0     8MP        0 |     2P      0     MP       0       0     2MP       0 |   * 8NKL      *      *
rect( . x4o    x4o    )   ♦      32 |        0      32       64 |       0       8      16       0       0       0       64 |      0      0      0       8       0       0      16 |   *    * 3NMKLP      *
verf( o4x4o3*a4x4o3*a )   ♦      24 |       24      12       24 |       0       0       0       8      12       8       24 |      0      0      0       0       8       2       6 |   *    *      * 8NMKLP