%% %% This is file `backnaur.sty', %% generated with the docstrip utility. %% %% The original source files were: %% %% backnaur.dtx (with options: `package') %% %% Copyright (C) 2019 by Adrian P Robson %% adrian.robson@nepsweb.co.uk %% %% This work may be distributed and/or modified under the %% conditions of the LaTeX Project Public License, either %% version 1.3c of this license or (at your option) any later %% version. The latest version of this license is in %% http://www.latex-project.org/lppl.txt %% %% This work has the LPPL maintenance status `maintained'. %% The Current Maintainer of this work is Adrian Robson. %% %% This work consists of the files backnaur.dtx and %% backnaur.ins %% and the derived files backnaur.sty and %% backnaur.pdf %% \NeedsTeXFormat{LaTeX2e}[2011/06/27] \ProvidesPackage{backnaur} [2019/06/18 3.1 Typesetting for Backus-Naur Form (BNF) definitions] \newenvironment{bnf}% {\begin{eqnarray}}% {\end{eqnarray}\ignorespacesafterend} \newenvironment{bnf*}% {\begin{eqnarray*}}% {\end{eqnarray*}\ignorespacesafterend} \newcommand{\bnfpn}[1]{\langle \textrm{#1} \rangle} \newcommand{\bnfor}{\; \mid \;} \newcommand{\bnfsp}{\;} \newcommand{\bnfes}{\lambda} \newcommand{\bnf@tsfont}[1]{\texttt{#1}} \newcommand{\bnfts}[1]{\bnf@tsfont{#1}} \newcommand{\bnftd}[1]{\textit{#1}} \newcommand{\bnfsk}{\dots} \newcommand{\bnfpo}{\models} \newcommand{\bnfprod}{\@ifstar{\bnf@prodnn}{\bnf@prodyn}} \newcommand{\bnf@prodyn}[2]{\bnfpn{#1} & \bnfpo & #2} \newcommand{\bnf@prodnn}[2]{\nonumber \bnfpn{#1} & \bnfpo & #2} \newcommand{\bnfmore}{\@ifstar{\bnf@morenn}{\bnf@moreyn}} \newcommand{\bnf@moreyn}[1]{ & & #1} \newcommand{\bnf@morenn}[1]{\nonumber & & #1} \DeclareOption{tsrm}{\renewcommand{\bnf@tsfont}[1]{\textrm{#1}}} \DeclareOption{perp}{\renewcommand{\bnfes}{\perp}} \DeclareOption{epsilon}{\renewcommand{\bnfes}{\epsilon}} \DeclareOption{altpo}{\renewcommand{\bnfpo}{::=}} \ProcessOptions\relax \endinput %% %% End of file `backnaur.sty'.