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 | 53 |
1 files changed, 53 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/latex/lwarp/lwarp-backnaur.sty b/Master/texmf-dist/tex/latex/lwarp/lwarp-backnaur.sty new file mode 100644 index 00000000000..3b9ab2f58c9 --- /dev/null +++ b/Master/texmf-dist/tex/latex/lwarp/lwarp-backnaur.sty @@ -0,0 +1,53 @@ +%% +%% 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-2019 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/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 +\endinput +%% +%% End of file `lwarp-backnaur.sty'. |