summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/lwarp/lwarp-backnaur.sty
blob: 3b9ab2f58c9f2efb43666bc62991ea47fcc40b7b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
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'.