ebnf – Simple package for EBNF productions
The package defines a list environment, in which \item[LHS] produces output <LHS> ::=; macros are also provided for the right-hand side of productions.
Maybe you are interested in the following packages as well.
- bnf-plain: Plain TeX macros for BNF grammars
- objectz: Macros for typesetting Object Z
- acronym209: An algorithm package developed for LaTeX 2.09
- geophysics: Articles for the journal Geophysics