This hypercompact hyperbolic tetracomb uses thisquat in the sense of an infinite bollohedron and tosquat in the sense of an infinite horohedron as cell. Further o3x3x4x4*b and trunc( x4o3o4x4*b ) get being used as infinite bollochora.

Incidence matrix according to symbol extension

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

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