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

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