summaryrefslogtreecommitdiff
path: root/support/splint/examples/ld/ldtexlex.sty
diff options
context:
space:
mode:
Diffstat (limited to 'support/splint/examples/ld/ldtexlex.sty')
-rw-r--r--support/splint/examples/ld/ldtexlex.sty75
1 files changed, 75 insertions, 0 deletions
diff --git a/support/splint/examples/ld/ldtexlex.sty b/support/splint/examples/ld/ldtexlex.sty
new file mode 100644
index 0000000000..01b8873540
--- /dev/null
+++ b/support/splint/examples/ld/ldtexlex.sty
@@ -0,0 +1,75 @@
+% Copyright 2012-2020, Alexander Shibakov
+% This file is part of SPLinT
+%
+% SPLinT is free software: you can redistribute it and/or modify
+% it under the terms of the GNU General Public License as published by
+% the Free Software Foundation, either version 3 of the License, or
+% (at your option) any later version.
+%
+% SPLinT is distributed in the hope that it will be useful,
+% but WITHOUT ANY WARRANTY; without even the implied warranty of
+% MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+% GNU General Public License for more details.
+%
+% You should have received a copy of the GNU General Public License
+% along with SPLinT. If not, see <http://www.gnu.org/licenses/>.
+
+% additional definitions for typesetting \TeX\ control sequences
+
+\def\defz#1#{%
+ \d@fz{#1}%
+}
+
+\def\d@fz#1#2{%
+ \defx#1{#2}{texline}%
+ \d@@z#1{#2}{index}%
+}
+
+\def\d@@z#1#2#{%
+ \expandafter\def
+ \expandafter
+ \alltexsymbols
+ \expandafter{\alltexsymbols#1}%
+ \defy#1%
+}
+
+\def\defzop#1{%
+ \defz#1{$#1$}%
+}
+
+\defzop\CM
+\defzop\AND
+\defzop\OR
+\defzop\XOR
+\defzop\V
+\defzop\W
+\defzop\leq
+\defzop\geq
+\defzop\ll
+\defzop\gg
+\defzop\times
+\defzop\div
+\defz\/{${}/{}$}
+\defzop\R
+\defzop\xi
+\defzop\Xorxeq
+\defzop\K
+
+
+\defx\CM{=not}{index:visual}
+\defx\AND{&&}{index:visual}
+\defx\OR{||}{index:visual}
+\defx\XOR{|||}{index:visual}
+%\defx\V{V}{index:visual}
+%\defx\W{W}{index:visual}
+\defx\leq{<=}{index:visual}
+\defx\geq{>=}{index:visual}
+\defx\ll{<<}{index:visual}
+\defx\gg{>>}{index:visual}
+\defx\times{=times}{index:visual}
+\defx\div{\%}{index:visual}
+\defx\/{/}{index:visual}
+\defx\R{not^}{index:visual}
+%\defx\xi{xi}{index:visual}
+\defx\Xorxeq{=|||}{index:visual}
+\defx\K{=}{index:visual}