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

   1 \newcommand*\Next[1]{\def\TMP{#1}\ifx\TMP\empty\let\next=\relax\else\ #1\let\next=\Next\fi\next}
   2
   3 \newcommand*\Prop{PROP}
   4 \newcommand*\Crop[1]{CROP}
   5 \newcommand*\Type[1]{TYPE}
   6 \newcommand*\LRef[1]{(L #1)}
   7 \newcommand*\GRef{G}
   8 \newcommand*\Abbr[3]{(D #1 #2 #3) }
   9 \newcommand*\Abst[2]{(I #1 #2) }
  10 \newcommand*\Prod[2]{(P #1 #2) }
  11 \newcommand*\Appl{(A)\Next}
  12 \newcommand*\Case[3]{(C #1 #2 #3)\Next}