Informally, right-angled hyperbolic hexagon is a hyperbolic triangle with vertices outside infinity. I think there should be a Gram matrix for it, and what does it looks like? (The Gram matrix here defines the existence of a simplex)
Also, for hyperbolic truncated tetrahedron or hyperbolic truncated n-simplex what’s the form of its Gram matrix?
Thanks.