src/TeXmacs/packages/environment/env-theorem.ts

   1 <TeXmacs|1.0.7.5>
   2
   3 <style|source>
   4
   5 <\body>
   6   <active*|<\src-title>
   7     <src-package|env-theorem|1.0>
   8
   9     <\src-purpose>
  10       Theorem-like environments.
  11     </src-purpose>
  12
  13     <src-copyright|1998--2004|Joris van der Hoeven>
  14
  15     <\src-license>
  16       This software falls under the <hlink|GNU general public license,
  17       version 3 or later|$TEXMACS_PATH/LICENSE>. It comes WITHOUT ANY
  18       WARRANTY WHATSOEVER. You should have received a copy of the license
  19       which the software. If not, see <hlink|http://www.gnu.org/licenses/gpl-3.0.html|http://www.gnu.org/licenses/gpl-3.0.html>.
  20     </src-license>
  21   </src-title>>
  22
  23   <assign|enunciation-name|<macro|name|<with|font-series|bold|<arg|name>>>>
  24
  25   <assign|enunciation-sep|<macro|. >>
  26
  27   <assign|theorem-name|<macro|name|<enunciation-name|<arg|name>>>>
  28
  29   <assign|theorem-sep|<macro|<enunciation-sep>>>
  30
  31   <assign|remark-name|<macro|name|<enunciation-name|<arg|name>>>>
  32
  33   <assign|remark-sep|<macro|<enunciation-sep>>>
  34
  35   <assign|exercise-name|<macro|name|<enunciation-name|<arg|name>>>>
  36
  37   <assign|exercise-sep|<macro|<enunciation-sep>>>
  38
  39   <\active*>
  40     <\src-comment>
  41       Rendering of theorem-like environments and exercises.
  42     </src-comment>
  43   </active*>
  44
  45   <assign|render-enunciation|<\macro|which|body>
  46     <padded-normal|1fn|1fn|<surround|<arg|which>||<arg|body>>>
  47   </macro>>
  48
  49   <assign|render-remark|<\macro|which|body>
  50     <render-enunciation|<remark-name|<arg|which><remark-sep>>|<arg|body>>
  51   </macro>>
  52
  53   <assign|render-theorem|<\macro|which|body>
  54     <render-enunciation|<theorem-name|<arg|which><theorem-sep>>|<with|font-shape|italic|<arg|body>>>
  55   </macro>>
  56
  57   <assign|render-exercise|<\macro|which|body>
  58     <\padded-normal|0.5fn|0.5fn>
  59       <\indent-left|1.5fn>
  60         <\small>
  61           <surround|<exercise-name|<arg|which><exercise-sep>>||<arg|body>>
  62         </small>
  63       </indent-left>
  64     </padded-normal>
  65   </macro>>
  66
  67   <\active*>
  68     <\src-comment>
  69       Standard theorems, remarks and exercises.
  70     </src-comment>
  71   </active*>
  72
  73   <new-theorem|theorem|Theorem>
  74
  75   <new-theorem|proposition|Proposition>
  76
  77   <new-theorem|lemma|Lemma>
  78
  79   <new-theorem|corollary|Corollary>
  80
  81   <new-theorem|axiom|Axiom>
  82
  83   <new-theorem|definition|Definition>
  84
  85   <new-theorem|notation|Notation>
  86
  87   <new-theorem|conjecture|Conjecture>
  88
  89   \;
  90
  91   <new-remark|remark|Remark>
  92
  93   <new-remark|example|Example>
  94
  95   <new-remark|note|Note>
  96
  97   <new-remark|warning|Warning>
  98
  99   <new-remark|convention|Convention>
 100
 101   \;
 102
 103   <new-exercise|exercise|Exercise>
 104
 105   <new-exercise|problem|Problem>
 106
 107   <\active*>
 108     <\src-comment>
 109       Further markup related to theorems.
 110     </src-comment>
 111   </active*>
 112
 113   <assign|proof-text|<macro|<localize|Proof>>>
 114
 115   <assign|dueto|<macro|name|<with|font-shape|right|<theorem-name|(<arg|name>)
 116   >>>>
 117
 118   <assign|render-proof|<\macro|which|body>
 119     <\render-remark|<arg|which>>
 120       <\surround||<htab|0.5fn><active*|<with|mode|math|\<box\>>>>
 121         <arg|body>
 122       </surround>
 123     </render-remark>
 124   </macro>>
 125
 126   <assign|proof|<\macro|body>
 127     <render-proof|<proof-text>|<arg|body>>
 128   </macro>>
 129
 130   \;
 131 </body>
 132
 133 <\initial>
 134   <\collection>
 135     <associate|preamble|true>
 136   </collection>
 137 </initial>