diff options
Diffstat (limited to 'Master/texmf-dist/tex/latex/lwarp/lwarp-backnaur.sty')
-rw-r--r-- | Master/texmf-dist/tex/latex/lwarp/lwarp-backnaur.sty | 36 |
1 files changed, 3 insertions, 33 deletions
diff --git a/Master/texmf-dist/tex/latex/lwarp/lwarp-backnaur.sty b/Master/texmf-dist/tex/latex/lwarp/lwarp-backnaur.sty index 3b9ab2f58c9..e6fec10cc14 100644 --- a/Master/texmf-dist/tex/latex/lwarp/lwarp-backnaur.sty +++ b/Master/texmf-dist/tex/latex/lwarp/lwarp-backnaur.sty @@ -15,39 +15,9 @@ %% 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/04/14] -\renewenvironment*{bnf}{% - \BlockClass{backnaur}% - \LWR@stoppars% -}{\endBlockClass} - -\renewenvironment*{bnf*}{% - \BlockClass{backnaur}% - \LWR@stoppars% -}{\endBlockClass} - -\renewcommand{\bnfpn}[1]{\HTMLunicode{27e8}#1\HTMLunicode{27e9}}% \langle, rangle -\renewcommand{\bnfor}{ \HTMLunicode{7c} }% \mid -\renewcommand{\bnfsp}{ } -\renewcommand{\bnfes}{\HTMLunicode{3bb}}% \lambda -\renewcommand{\bnftd}[1]{\textnormal{\textit{#1}}} -\renewcommand{\bnfsk}{\HTMLunicode{2026} }% \dots, ellipsis -\renewcommand{\bnfpo}{\HTMLunicode{22a8}}% \models - -\renewcommand{\bnfprod}[2]{% - \begin{BlockClass}{backnaurprod}\bnfpn{#1} \bnfpo \end{BlockClass}% - \begin{BlockClass}{backnaurdesc}#2\end{BlockClass}% - \LWR@stoppars% -}% - -\renewcommand{\bnfmore}[1]{% - \begin{BlockClass}{backnaurprod}\end{BlockClass} - \begin{BlockClass}{backnaurdesc}#1\end{BlockClass} - \LWR@stoppars% -} - -\@ifpackagewith{backnaur}{perp}{\renewcommand{\bnfes}{\HTMLunicode{27c2}}}{}% \perp -\@ifpackagewith{backnaur}{epsilon}{\renewcommand{\bnfes}{\HTMLunicode{3f5}}}{}% \epsilon +\LWR@ProvidesPackagePass{backnaur}[2019/06/18] +\renewenvironment{bnf}{\eqnarray}{\endeqnarray} +\renewenvironment{bnf*}{\csuse{eqnarray*}}{\csuse{endeqnarray*}} \endinput %% %% End of file `lwarp-backnaur.sty'. |