Révision 166 CSL17/ph-macros.tex

ph-macros.tex (revision 166)
12 12 
%\newtheorem{definition}[theorem]{Definition}
13 13 

  		





  14
  14
  
    
\newcommand{\Word}{\mathbb{W}}


  		





  
  15
  
    
\newcommand{\Nat}{\mathbb{N}}


  		





  15
  16
  
    
\newcommand{\arith}{B}


  		





  16
  17
  
    
\newcommand{\basic}{\mathit{BASIC}}


  		





  17
  18
  
    

  		





  ......




  33
  34
  
    
\renewcommand{\succ}[1]{s_i}


  		





  34
  35
  
    
\newcommand{\cond}{C}


  		





  35
  36
  
    

  		





  36
  
  
    
\newcommand{\safe}{\sigma}


  		





  37
  
  
    
\newcommand{\normal}{\nu}


  		





  
  37
  
    
\newcommand{\safe}{{S}}


  		





  
  38
  
    
\newcommand{\normal}{N}


  		





  38
  39
  
    

  		





  39
  40
  
    
\newcommand{\pv}{\mathit{PV}}


  		





  40
  41
  
    
\newcommand{\pvbci}[1]{\pv^{#1}_{\mathrm{BC}}}


  		












Formats disponibles :
  Unified diff