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

   1 \NeedsTeXFormat{LaTeX2e}[1995/12/01]
   2 \ProvidesPackage{ground_1}[2016/06/19 Notation for "cic:/matita/lambdadelta/ground_1/"]
   3 \RequirePackage{matex}
   4 \let\bigtimes\undefined
   5 \RequirePackage{mathabx}
   6 \ExecuteOptions{}
   7 \ProcessOptions*
   8
   9 \makeatletter
  10
  11 \newcommand*\ld@cm[1]{\mathpunct{,}}
  12 \newcommand*\ld@oa[1]{\mathopen{\langle}}
  13 \newcommand*\ld@ca[1]{\mathclose{\rangle}}
  14
  15 \newcommand*\ld@append[1]{\setbinlink{\oplus}{#1}}
  16 \newcommand*\ld@cons[1]{\setbinlink{\oright}{#1}}
  17 \newcommand*\ld@funlt[1]{\setbinlink{\olessthan}{#1}}
  18 \newcommand*\ld@revcons[1]{\setbinlink{\oleft}{#1}}
  19
  20 \newcommand*\ld@tuple@b[3]{\ld@oa{#1}#2\ld@cm{#1}#3\ld@ca{#1}}
  21
  22 \newcommand*\Append[3]{#2\ld@append{#1}#3}
  23 \newcommand*\ConsB[4]{\ld@tuple@b{#1}{#2}{#3}\ld@cons{#1}#4}
  24 \newcommand*\FunLt[3]{#2\ld@funlt{#1}#3}
  25 \newcommand*\RevConsB[4]{#2\ld@revcons{#1}\ld@tuple@b{#1}{#3}{#4}}
  26
  27 \makeatother
  28
  29 \endinput