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 | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Master/texmf-dist/tex/latex/lwarp/lwarp-backnaur.sty b/Master/texmf-dist/tex/latex/lwarp/lwarp-backnaur.sty index a9e0e08eb9d..fe96c69ad91 100644 --- a/Master/texmf-dist/tex/latex/lwarp/lwarp-backnaur.sty +++ b/Master/texmf-dist/tex/latex/lwarp/lwarp-backnaur.sty @@ -22,23 +22,23 @@ \CustomizeMathJax{\newcommand{\bnfpn}[1]{\langle \text{\textrm{#1}} \rangle}} \CustomizeMathJax{\newcommand{\bnfor}{\; \mid \;}} \CustomizeMathJax{\newcommand{\bnfsp}{\;}} -\@ifpackagewith{backnaur}{perp}{ +\IfPackageLoadedWithOptionsTF{backnaur}{perp}{ \CustomizeMathJax{\newcommand{\bnfes}{\perp}} }{ - \@ifpackagewith{backnaur}{epsilon}{ + \IfPackageLoadedWithOptionsTF{backnaur}{epsilon}{ \CustomizeMathJax{\newcommand{\bnfes}{\epsilon}} }{ \CustomizeMathJax{\newcommand{\bnfes}{\lambda}} } } -\@ifpackagewith{backnaur}{tsrm}{ +\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}} -\@ifpackagewith{backnaur}{altpo}{ +\IfPackageLoadedWithOptionsTF{backnaur}{altpo}{ \CustomizeMathJax{\newcommand{\bnfpo}{::=}} }{ \CustomizeMathJax{\newcommand{\bnfpo}{\models}} |