Révision 201 CSL17/ph-macros.tex

ph-macros.tex (revision 201)
43 43 
\newcommand{\pair}[3]{\langle ; #1,#2 , #3 \rangle}
44 44 
\newcommand{\eq}{\textsc{eq}}
45 45 
\newcommand{\leqfn}{\textsc{leq}}
46 
\newcommand{\bit}{\textsc{Bit}}
46 
\newcommand{\bit}{\textsc{bit}}
47 
\newcommand{\andfn}{\textsc{and}}
48 
\newcommand{\orfn}{\textsc{or}}
49 
\newcommand{\notfn}{\textsc{not}}
50 
\newcommand{\equivfn}{\textsc{equiv}}
47 51 

  		





  48
  52
  
    
\newcommand{\zerobit}{\textsc{0bit}}


  		





  49
  53
  
    
\newcommand{\onebit}{\textsc{1bit}}


  		












Formats disponibles :
  Unified diff