summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/lwarp/lwarp-backnaur.sty
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tex/latex/lwarp/lwarp-backnaur.sty')
-rw-r--r--Master/texmf-dist/tex/latex/lwarp/lwarp-backnaur.sty53
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'.