在 Latex 中支持网格上的类型化（Jean-Luc Doumont 的量子空间）

Question

我看到了推介会Jean-Luc Doumont 关于网格排版的演讲。他在演讲中谈到了一些宏，但我不知道 latex 中是否有任何包支持这些宏。

这里有示例页面这本书的。