]> matita.cs.unibo.it Git - helm.git/blob - matita/components/binaries/matex/test/legacy_1.sty
0ee7783459dd7d0311096061b3e0acbb16ed0847
[helm.git] / matita / components / binaries / matex / test / legacy_1.sty
1 \NeedsTeXFormat{LaTeX2e}[1995/12/01]
2 \ProvidesPackage{legacy_1}[2016/06/19 Notation for "cic:/matita/lambdadelta/legacy_1/"]
3 \RequirePackage{matex}
4 \RequirePackage{fdsymbol}
5 \ExecuteOptions{}
6 \ProcessOptions*
7
8 \let\OldSucc=\Succ
9
10 \makeatletter
11
12 \newcommand*\ld@and[1]{\setbinlink{\&}{#1}}
13 \newcommand*\ld@lex[1]{\setordlink{\exists}{#1}}
14 \newcommand*\ld@land[1]{\setrellink{\land}{#1}}
15 \newcommand*\ld@lor[1]{\setrellink{\lor}{#1}}
16
17 \newcommand*\ld@eq[1]{\setrellink{=}{#1}}
18 \newcommand*\ld@le[1]{\setrellink{\le}{#1}}
19 \newcommand*\ld@lt[1]{\setrellink{<}{#1}}
20 \newcommand*\ld@minus[1]{\setbinlink{-}{#1}}
21 \newcommand*\ld@lnot[1]{\setoplink{\lnot}{#1}}
22 \newcommand*\ld@plus[1]{\setbinlink{+}{#1}}
23 \newcommand*\ld@pred[1]{\setoplink{\downspoon}{#1}}
24 \newcommand*\ld@succ[1]{\setoplink{\upspoon}{#1}}
25
26 \newcommand*\ld@list[2]{\ma@list\relax\ma@arg{#1{#2}}\relax}
27
28 \newcommand*\LAnd[1]{\ld@list\ld@land{#1}}
29 \newcommand*\LOr[1]{\ld@list\ld@lor{#1}}
30 \newcommand*\LEx[1]{\ld@lex{#1}\ma@list\relax\ma@skip\relax{\ld@list\ld@and{#1}}}
31
32 \newcommand*\EQ[4]{#3\ld@eq{#1}#4}
33 \newcommand*\LE[3]{#2\ld@le{#1}#3}
34 \newcommand*\LT[3]{#2\ld@lt{#1}#3}
35 \newcommand*\Minus[3]{#2\ld@minus{#1}#3}
36 \newcommand*\LNot[2]{\ld@lnot{#1}#2}
37 \newcommand*\Plus[3]{#2\ld@plus{#1}#3}
38 \newcommand*\Pred[2]{\ld@pred{#1}#2}
39 \renewcommand*\Succ[2]{\ld@succ{#1}#2}
40
41 \makeatother
42
43 \endinput