Our great sponsors
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
I've updated the simplebnf package to version 1.0.0, which enables typesetting BNF grammars by simply writing them: tex \begin{bnf}[ colspec = {llcll}, column{1} = {font = \sffamily}, column{2} = {mode = dmath}, column{4} = {font = \ttfamily}, ] \tau : Type ::= | num : numbers | str : strings ;; e : Expr ::= | $x$ : variable | $n$ : numeral | $e$ + $e$ : addition | $e$ * $e$ : multiplication | $e$ \textasciicircum{} $e$ : concatenation | len($e$) : length | let $x$ = $e_1$ in $e_2$ : definition \end{bnf} And as some could have guessed from the above snippet, the backend is now using the tabularray package.