\(
% cbs-katex.sty
% \SHADE{MATH} can be defined to produce a shaded background to highlight
% inline MATH in running text:
\newcommand{\SHADE}[1]{#1}
% \KEY{text}, \STRING{text}, \ATOM{text}, \LEX{text} can be used in text or math mode:
\newcommand{\KEY}[1]{\textsf{\textit{\STYLE{Key}{#1}}}}
\newcommand{\STRING}[1]{\textsf{``\texttt{#1}''}}
\newcommand{\ATOM}[1]{\textsf{`\texttt{#1}'}}
\newcommand{\LEX}[1]{\textsf{\STYLE{Key}{`}\texttt{#1}\STYLE{Key}{'}}}
% The following commands produce ASCII characters that are treated specially by LaTeX:
\newcommand{\HASH}{\char`\#}
\newcommand{\DOLLAR}{\char`\$}
\newcommand{\PERCENT}{\char`\%}
\newcommand{\AMPERSAND}{\char`\&}
\newcommand{\APOSTROPHE}{\char`\'}
\newcommand{\BACKSLASH}{\char`\\}
\newcommand{\CARET}{\char`\^}
\newcommand{\UNDERSCORE}{\char`\_}
\newcommand{\GRAVE}{\char`\`}
\newcommand{\LEFTBRACE}{\char`\{}
\newcommand{\RIGHTBRACE}{\char`\}}
\newcommand{\TILDE}{\textasciitilde} % {\char`\~}
% \FUN{name} highlights the name.
% \FUNDEC{name} declares Name.name as the target of links to name.
% \FUNREF{name} links name to the target Name.name in the current file.
% \FUNHYP{url}{file}{name} links name to Name.name at url/file/index.html.
% Similarly for \VAR{partvariable}, \SYN{syntaxname}, \SEM{semanticsName},
% and \SECT{sectionnumber}
% The kerns in \SUB and \VAR avoid overlaps with primes:
\newcommand{\SUB}[1]{_{\kern-2mu#1}}
% PLAIN
\newcommand{\STYLE}[2]{\htmlClass{cbs-#1}{#2}}
\newcommand{\VAR}[1]{\STYLE{PartVariable}{\textit{#1\kern2mu}}}
\newcommand{\FUN}[1]{\STYLE{Name}{\textsf{#1}}}
\newcommand{\SYN}[1]{\STYLE{SyntaxName}{\textsf{#1}}}
\newcommand{\SEM}[1]{\STYLE{SemanticsName}{\textsf{#1}}}
\newcommand{\SECT}[1]{\STYLE{SectionNumber}{\textsf{#1}}}
\newcommand{\LANG}[1]{\STYLE{Language}{\textsf{#1}}}
% DEC
\newcommand{\DEC}[3]{\htmlId{#1:#2}{#3}}
\newcommand{\VARDEC}[1]{\DEC{PartVariable}{#1}{\VAR{#1}}}
\newcommand{\FUNDEC}[1]{\DEC{Name}{#1}{\FUN{#1}}}
\newcommand{\SYNDEC}[1]{\DEC{SyntaxName}{#1}{\SYN{#1}}}
\newcommand{\SEMDEC}[1]{\DEC{SemanticsName}{#1}{\SEM{#1}}}
\newcommand{\SECTDEC}[1]{\DEC{SectionNumber}{#1}{\textsf{#1}}}
% \newcommand{\LANGDEC}[1]{\DEC{Language}{#1}{\LANG{#1}}}
% REF
\newcommand{\REF}[3]{\href{###1:#2}{#3}}
\newcommand{\VARREF}[1]{\REF{PartVariable}{#1}{\VAR{#1}}}
\newcommand{\FUNREF}[1]{\REF{Name}{#1}{\FUN{#1}}}
\newcommand{\SYNREF}[1]{\REF{SyntaxName}{#1}{\SYN{#1}}}
\newcommand{\SEMREF}[1]{\REF{SemanticsName}{#1}{\SEM{#1}}}
\newcommand{\SECTREF}[1]{\REF{SectionNumber}{#1}{\SECT{#1}}}
% \newcommand{\LANGREF}[1]{\REF{Language}{#1}{\LANG{#1}}}
% HYP
\newcommand{\HYP}[5]{\href{#1/#2/index.html###3:#4}{#5}}
\newcommand{\VARHYP}[3]{\HYP{#1}{#2}{PartVariable}{#3}{\VAR{#3}}}
\newcommand{\FUNHYP}[3]{\HYP{#1}{#2}{Name}{#3}{\FUN{#3}}}
\newcommand{\SYNHYP}[3]{\HYP{#1}{#2}{SyntaxName}{#3}{\SYN{#3}}}
\newcommand{\SEMHYP}[3]{\HYP{#1}{#2}{SemanticsName}{#3}{\SEM{#3}}}
\newcommand{\SECTHYP}[3]{\HYP{#1}{#2}{SectionNumber}{#3}{\SECT{#3}}}
% \newcommand{\LANGHYP}[3]{\HYP{#1}{#2}{Language}{#3}{\LANG{#3}}}
% CBS-beta/math hyperlinks
\newcommand\CBSBETAMATH{https://plancomps.github.io/CBS-beta/math}
\newcommand\VARCBS[3]{\VARHYP{\CBSBETAMATH/#1}{#2}{#3}}
\newcommand\FUNCBS[3]{\FUNHYP{\CBSBETAMATH/#1}{#2}{#3}}
\newcommand\SYNCBS[3]{\SYNHYP{\CBSBETAMATH/#1}{#2}{#3}}
\newcommand\SEMCBS[3]{\SEMHYP{\CBSBETAMATH/#1}{#2}{#3}}
\newcommand\SECTCBS[3]{\SECTHYP{\CBSBETAMATH/#1}{#2}{#3}}
% \newcommand{\LANGCBS}[3]{\LANGHYP{\CBSBETAMATH/#1}{#2}{#3}}
% \LEFTPHRASE MATH \RIGHTPHRASE produces [[ MATH ]] with proper brackets:
\newcommand{\LEFTPHRASE}{\llbracket}
\newcommand{\RIGHTPHRASE}{\rrbracket}
% \LEFTGROUP MATH \RIGHTGROUP produces ( MATH ) where the parentheses are
% highlighted the same as keywords:
\newcommand{\LEFTGROUP}{\STYLE{Key}{(}}
\newcommand{\RIGHTGROUP}{\STYLE{Key}{)}}
% MATH\PLUS produces a superscript +
% MATH\STAR produces a superscript *
% MATH\QUERY produces a superscript ?
\newcommand{\PLUS}{ {}^{\texttt{+}}}
\newcommand{\STAR}{ {}^{\texttt{*}}}
\newcommand{\QUERY}{ {}^{\texttt{?}}}
% \RULE{premise}{conclusion} produces
% premise
% ----------
% conclusion
\newcommand{\RULE}[2]{\mkern-2.2mu\frac{\displaystyle#1}{\displaystyle#2}}
% See https://tex.stackexchange.com/questions/337328/superscripts-appear-in-various-weird-places-in-fractions
% \RULE
% {\begin{aligned} & premise \\ & ... \end{aligned}}
% {\begin{aligned} & conclusion ... \\ & ... \end{aligned}}
% produces an inference rule with left-aligned premises and split conclusion
% premise
% ...
% --------------
% conclusion ...
% ...
% \TO TYPE produces => TYPE
\newcommand{\TO}{\mathop{\Rightarrow}}
% TERM \TRANS TERM produces TERM ---> TERM
\newcommand{\TRANS}{\longrightarrow}
% TERM \xrightarrow{LABEL} TERM puts the label above the long arrow
\)
Introduction
The Local browsing page explains how to build and browse a copy of this website.
The Macros page explains how to mark up CBS specifications when using the CBS-LaTeX package.
It provides links to the macro definitions for use with LaTeX, KaTeX, and MathJax.
The Samples page links to marked-up CBS specifications,
and to the results of formatting them to produce web pages and PDFs.
It also explains how the web pages and PDFs were produced
using Jekyll, kramdown, and LaTeX.
The Issues page on GitHub is to list known problems with the package.
Browsing
PDFs
Acrobat Reader is recommended.
The Preview app on macOS does not support hyperlinks from references to declarations,
which are needed for navigation in multi-file CBS specifications.
PDFs can also be browsed directly in Firefox.
Web pages
Currently, KaTeX renders the CBS-LaTeX markup faster than MathJax.
For example, compare this KaTeX page with the corresponding
MathJax page.
The appearance of the web pages (at least when using recent versions of Firefox and Safari)
is close to that of the PDFs produced from the same CBS files using pdflatex.