TEXT   211
def let bf let
Guest on 5th December 2024 05:26:01 AM


  1. \def \LET       {{\bf let} \ }
  2. \def \IF        {{\bf if} \ }
  3. \def \THEN      {\ {\bf then} \ }
  4. \def \ELSE      {\ {\bf else} \ }
  5. \def \plus      {^+}
  6. \def \inrel#1   {\ \underline{#1} \ }
  7. \def \pipe      {\, >\!\!> \, }
  8. \def \extract   {\ires}
  9. \def \bcount    {\sharp}
  10. \def \subbageq  {\sqsubseteq}
  11. \def \uminus    {\tt uminus}    % This one isn't supported by oz.sty
Raw Paste

Login or Register to edit or fork this paste. It's free.