matita/components/binaries/matex/test/legacy_1.sty

   1 \NeedsTeXFormat{LaTeX2e}[1995/12/01]
   2 \ProvidesPackage{legacy_1}[2016/06/06 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*\LAndB[3]{#2\ld@land{#1}#3}
  27 \newcommand*\LOrB[3]{#2\ld@lor{#1}#3}
  28 \newcommand*\LExAA[3]{\ld@lex{#1}#3}
  29 \newcommand*\LExBA[4]{\ld@lex{#1}#3\ld@and{#1}#4}
  30
  31 \newcommand*\EQ[4]{#3\ld@eq{#1}#4}
  32 \newcommand*\LE[3]{#2\ld@le{#1}#3}
  33 \newcommand*\LT[3]{#2\ld@lt{#1}#3}
  34 \newcommand*\Minus[3]{#2\ld@minus{#1}#3}
  35 \newcommand*\LNot[2]{\ld@lnot{#1}#2}
  36 \newcommand*\Plus[3]{#2\ld@plus{#1}#3}
  37 \newcommand*\Pred[2]{\ld@pred{#1}#2}
  38 \renewcommand*\Succ[2]{\ld@succ{#1}#2}
  39
  40 \makeatother
  41
  42 \endinput