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.sty8
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}}