diff options
Diffstat (limited to 'support/splint/examples/ld/ldtexlex.sty')
-rw-r--r-- | support/splint/examples/ld/ldtexlex.sty | 75 |
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} |