matita/components/binaries/matex/test/test.tex

   1 \documentclass[8pt,twocolumn]{extarticle}
   2
   3 \usepackage[bookmarks=false,ps2pdf]{hyperref}
   4 \usepackage[american]{babel}
   5 \usepackage{matex}
   6
   7 \newcounter{node}
   8 \renewcommand*\ObjIncNode{\stepcounter{node}}
   9 \renewcommand*\ObjNode{\arabic{node} }
  10
  11 \begin{document}
  12
  13 \input{objs}
  14
  15 \bigskip
  16
  17 \ObjRef{pr0}
  18 \ObjRef{pr0_ind}
  19 \ObjRef{pr0_confluence}
  20
  21 \end{document}