Révision 177 CSL17/ph-macros.tex

ph-macros.tex (revision 177)
87 87 
	\newcommand{\cut}{\it{cut}}
88 88 
	\newcommand{\wk}{\mathit{wk}}
89 89 
	\newcommand{\cntr}{\mathit{cntr}}
90 
	\newcommand{\rais}{\mathit{raise}}
91
90 92
91 93 
% theories
92 94 
	\newcommand{\theory}{\mathcal T}
93 95 
	\newcommand{\system}{\mathcal S}
94 96
97 
	%induction
98 
%	\newcommand{\ind}{\mathit{PIND}}
99 
%	\newcommand{\pind}{\mathit{PIND}}
100 
	\newcommand{\cax}[2]{#1\text{-}#2}
101 

  		





  
  102
  
    
	\newcommand{\sigone}{\Sigma^{\word^+}_1 }


  		





  
  103
  
    
	\newcommand{\sigzer}{\Sigma^{\word^+}_0}


  		





  
  104
  
    
	\newcommand{\bharith}{\mathcal A^1_2}


  		





  
  105
  
    
	%\newcommand{\arith}{I\sigone}


  		





  
  106
  
    
	


  		





  
  107
  
    
	


  		












Formats disponibles :
  Unified diff