%% %% This is file `lwarp-backnaur.sty', %% generated with the docstrip utility. %% %% The original source files were: %% %% lwarp.dtx (with options: `backnaur') %% This is a generated file. %% Copyright 2016-2022 Brian Dunn %% %% This work may be distributed and/or modified under the %% conditions of the LaTeX Project Public License, either version 1.3 %% 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 %% and version 1.3 or later is part of all distributions of LaTeX %% version 2005/12/01 or later. \LWR@ProvidesPackagePass{backnaur}[2019/06/18] \renewenvironment{bnf}{\eqnarray}{\endeqnarray} \renewenvironment{bnf*}{\csuse{eqnarray*}}{\csuse{endeqnarray*}} \begin{warpMathJax} \CustomizeMathJax{\newcommand{\bnfpn}[1]{\langle \text{\textrm{#1}} \rangle}} \CustomizeMathJax{\newcommand{\bnfor}{\; \mid \;}} \CustomizeMathJax{\newcommand{\bnfsp}{\;}} \IfPackageLoadedWithOptionsTF{backnaur}{perp}{ \CustomizeMathJax{\newcommand{\bnfes}{\perp}} }{ \IfPackageLoadedWithOptionsTF{backnaur}{epsilon}{ \CustomizeMathJax{\newcommand{\bnfes}{\epsilon}} }{ \CustomizeMathJax{\newcommand{\bnfes}{\lambda}} } } \IfPackageLoadedWithOptionsTF{backnaur}{tsrm}{ \CustomizeMathJax{\newcommand{\bnfts}[1]{\text{#1}}} }{ \CustomizeMathJax{\newcommand{\bnfts}[1]{\text{\texttt{#1}}}} } \CustomizeMathJax{\newcommand{\bnftd}[1]{\text{\textit{#1}}}} \CustomizeMathJax{\newcommand{\bnfsk}{\dots}} \IfPackageLoadedWithOptionsTF{backnaur}{altpo}{ \CustomizeMathJax{\newcommand{\bnfpo}{::=}} }{ \CustomizeMathJax{\newcommand{\bnfpo}{\models}} } \CustomizeMathJax{\newcommand{\bnfprod}{\ifstar{\LWRbnfprodnn}{\LWRbnfprodyn}}} \CustomizeMathJax{\newcommand{\LWRbnfprodyn}[2]{\bnfpn{#1} & \bnfpo & #2}} \CustomizeMathJax{\newcommand{\LWRbnfprodnn}[2]{\nonumber \bnfpn{#1} & \bnfpo & #2}} \CustomizeMathJax{\newcommand{\bnfmore}{\ifstar{\LWRbnfmorenn}{\LWRbnfmoreyn}}} \CustomizeMathJax{\newcommand{\LWRbnfmoreyn}[1]{ & & #1}} \CustomizeMathJax{\newcommand{\LWRbnfmorenn}[1]{\nonumber & & #1}} \end{warpMathJax} \endinput %% %% End of file `lwarp-backnaur.sty'.