This site presents a small LaTeX package for formatting CBS specifications. When CBS is marked up using the package, LaTeX formatting produces mathematical typography, suitable for inclusion in published articles.
It also includes KaTeX and MathJax configurations that produce similar-looking results from the same LaTeX mark-up when embedded in web pages.