programming-language software domain-specific-language DTP Better TeXを目指した組版システム。 多段階計算による型安全なマクロが導入されている