src/TeXmacs/packages/example/vdh.ts

   1 <TeXmacs|1.0.7.2>
   2
   3 <style|source>
   4
   5 <\body>
   6   <active*|<\src-title>
   7     <src-package|vdh|1.0>
   8
   9     <\src-purpose>
  10       An example style package used by Joris van der Hoeven.
  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   <style-only|<\with|mode|math>
  24     <assign|A|\<cal-A\>>
  25
  26     <assign|B|\<cal-B\>>
  27
  28     <assign|D|\<cal-D\>>
  29
  30     <assign|I|<with|math-display|false|<op|<big|int>>>>
  31
  32     <assign|L|\<cal-L\>>
  33
  34     <assign|R|\<cal-R\>>
  35
  36     <assign|T|\<cal-T\>>
  37
  38     <assign|FS|<with|math-font|cal*|F>>
  39
  40     <assign|GS|<with|math-font|cal*|G>>
  41
  42     <assign|PS|<with|math-font|cal*|P>>
  43
  44     <assign|Lin|<with|math-font|cal*|L>>
  45
  46     <assign|Gb|<with|math-font|cal*|G>>
  47
  48     <assign|Mlin|<with|math-font|cal*|M>>
  49
  50     <assign|Mlt|<with|math-font|cal*|T>>
  51
  52     <assign|Set|<with|math-font|cal*|S>>
  53
  54     \;
  55
  56     <assign|rsA|<with|math-font|cal*|A>>
  57
  58     <assign|rsB|<with|math-font|cal*|B>>
  59
  60     <assign|rsC|<with|math-font|cal*|C>>
  61
  62     <assign|rsD|<with|math-font|cal*|D>>
  63
  64     <assign|rsE|<with|math-font|cal*|E>>
  65
  66     <assign|rsF|<with|math-font|cal*|F>>
  67
  68     <assign|rsG|<with|math-font|cal*|G>>
  69
  70     <assign|rsH|<with|math-font|cal*|H>>
  71
  72     <assign|rsI|<with|math-font|cal*|I>>
  73
  74     <assign|rsJ|<with|math-font|cal*|J>>
  75
  76     <assign|rsK|<with|math-font|cal*|K>>
  77
  78     <assign|rsL|<with|math-font|cal*|L>>
  79
  80     <assign|rsM|<with|math-font|cal*|M>>
  81
  82     <assign|rsN|<with|math-font|cal*|N>>
  83
  84     <assign|rsO|<with|math-font|cal*|O>>
  85
  86     <assign|rsP|<with|math-font|cal*|P>>
  87
  88     <assign|rsQ|<with|math-font|cal*|Q>>
  89
  90     <assign|rsR|<with|math-font|cal*|R>>
  91
  92     <assign|rsS|<with|math-font|cal*|S>>
  93
  94     <assign|rsT|<with|math-font|cal*|T>>
  95
  96     <assign|rsU|<with|math-font|cal*|U>>
  97
  98     <assign|rsV|<with|math-font|cal*|V>>
  99
 100     <assign|rsW|<with|math-font|cal*|W>>
 101
 102     <assign|rsX|<with|math-font|cal*|X>>
 103
 104     <assign|rsY|<with|math-font|cal*|Y>>
 105
 106     <assign|rsZ|<with|math-font|cal*|Z>>
 107
 108     \;
 109
 110     <assign|ssA|<math|<with|math-font-family|tss|A>>>
 111
 112     <assign|ssAlg|<math|<with|math-font-family|tss|Alg>>>
 113
 114     <assign|ssB|<math|<with|math-font-family|tss|B>>>
 115
 116     <assign|ssBall|<math|<with|math-font-family|tss|Ball>>>
 117
 118     <assign|ssC|<math|<with|math-font-family|tss|C>>>
 119
 120     <assign|ssD|<math|<with|math-font-family|tss|D>>>
 121
 122     <assign|ssE|<math|<with|math-font-family|tss|E>>>
 123
 124     <assign|ssF|<math|<with|math-font-family|tss|F>>>
 125
 126     <assign|ssG|<math|<with|math-font-family|tss|G>>>
 127
 128     <assign|ssGal|<math|<with|math-font-family|tss|Gal>>>
 129
 130     <assign|ssGL|<math|<with|math-font-family|tss|GL>>>
 131
 132     <assign|ssH|<math|<with|math-font-family|tss|H>>>
 133
 134     <assign|ssI|<math|<with|math-font-family|tss|I>>>
 135
 136     <assign|ssIM|<math|<with|math-font-family|tss|IM>>>
 137
 138     <assign|ssJ|<math|<with|math-font-family|tss|J>>>
 139
 140     <assign|ssK|<math|<with|math-font-family|tss|K>>>
 141
 142     <assign|ssL|<math|<with|math-font-family|tss|L>>>
 143
 144     <assign|ssLin|<math|<with|math-font-family|tss|Lin>>>
 145
 146     <assign|ssLM|<math|<with|math-font-family|tss|LM>>>
 147
 148     <assign|ssM|<math|<with|math-font-family|tss|M>>>
 149
 150     <assign|ssMat|<math|<with|math-font-family|tss|Mat>>>
 151
 152     <assign|ssMM|<math|<with|math-font-family|tss|MM>>>
 153
 154     <assign|ssMV|<math|<with|math-font-family|tss|MV>>>
 155
 156     <assign|ssN|<math|<with|math-font-family|tss|N>>>
 157
 158     <assign|ssO|<math|<with|math-font-family|tss|O>>>
 159
 160     <assign|ssP|<math|<with|math-font-family|tss|P>>>
 161
 162     <assign|ssQ|<math|<with|math-font-family|tss|Q>>>
 163
 164     <assign|ssR|<math|<with|math-font-family|tss|R>>>
 165
 166     <assign|ssRM|<math|<with|math-font-family|tss|RM>>>
 167
 168     <assign|ssS|<math|<with|math-font-family|tss|S>>>
 169
 170     <assign|ssT|<math|<with|math-font-family|tss|T>>>
 171
 172     <assign|ssU|<math|<with|math-font-family|tss|U>>>
 173
 174     <assign|ssV|<inactive|<math|<with|math-font-family|tss|V>>>>
 175
 176     <assign|ssVect|<math|<with|math-font-family|tss|Vect>>>
 177
 178     <assign|ssW|<math|<with|math-font-family|tss|W>>>
 179
 180     <assign|ssX|<math|<with|math-font-family|tss|X>>>
 181
 182     <assign|ssY|<math|<with|math-font-family|tss|Y>>>
 183
 184     <assign|ssZ|<math|<with|math-font-family|tss|Z>>>
 185
 186     \;
 187
 188     <assign|bpartial|<with|math-font-series|bold|\<partial\>>>
 189
 190     <assign|xor|<space|0.6spc>\<triangledown\><space|0.6spc>>
 191
 192     <assign|fcut|#>
 193
 194     <assign|iseg|<macro|x|in(<arg|x>)>>
 195
 196     <assign|fseg|<macro|x|fin(<arg|x>)>>
 197
 198     <assign|Iseg|<macro|x|In(<arg|x>)>>
 199
 200     <assign|Fseg|<macro|x|Fin(<arg|x>)>>
 201
 202     <assign|bl|<macro|<left|(|-1em|1em>>>
 203
 204     <assign|br|<macro|<right|)|-1em|1em>>>
 205
 206     \;
 207
 208     <assign|gb|<macro|x|<with|math-font-family|mt|[<space|-0.6spc>[><arg|x><with|math-font-family|mt|]<space|-0.6spc>]>>>
 209
 210     <assign|cgb|<macro|x|<with|math-font-family|mt|{<space|-0.6spc>{><arg|x><with|math-font-family|mt|}<space|-0.6spc>}>>>
 211
 212     <assign|gbt|<macro|x|<with|math-font-family|mt|[<space|-0.6spc>[<space|-0.6spc>[><arg|x><with|math-font-family|mt|]<space|-0.6spc>]<space|-0.6spc>]>>>
 213
 214     <assign|cgbt|<macro|x|<with|math-font-family|mt|{<space|-0.6spc>{<space|-0.6spc>{><arg|x><with|math-font-family|mt|}<space|-0.6spc>}<space|-0.6spc>}>>>
 215
 216     \;
 217
 218     <assign|head|<macro|x|<arg|x><rsup|\<sharp\>>>>
 219
 220     <assign|tail|<macro|x|<arg|x><rsup|\<flat\>>>>
 221
 222     <assign|hm|<macro|i|x|\<sharp\><rsub|<arg|i>> <arg|x>>>
 223
 224     <assign|tm|<macro|i|x|\<flat\><rsub|<arg|i>> <arg|x>>>
 225
 226     <assign|lcut|<macro|x|<wide|<arg|x>|\<wide-varleftarrow\>>>>
 227
 228     <assign|rcut|<macro|x|<wide|<arg|x>|\<wide-varrightarrow\>>>>
 229
 230     \;
 231
 232     <assign|rth|<macro|f|r<rsub|<arg|f>>>>
 233
 234     <assign|reff|<macro|f|<resize|<wide*|<resize|r||0ex|0.3em|1ex>|\<wide-bar\>>||0.5ex|0.4em|1ex><rsub|<arg|f>>>>
 235
 236     <assign|Bth|<macro|f|\<\|\|\><arg|f>\<\|\|\>>>
 237
 238     <assign|Beff|<macro|f|\<lceil\><space|-0.75spc>\<lceil\><arg|f>\<rceil\><space|-0.75spc>\<rceil\>>>
 239   </with>>
 240
 241   \;
 242
 243   <assign|bi-index|<macro|x|y|<style-with|src-compact|none|<flag|<localize|index>|dark
 244   green|x><subindex|<arg|x>|<arg|y>><subindex|<arg|y>|<arg|x>>>>>
 245
 246   <assign|bi-index*|<macro|x|y|<style-with|src-compact|none|<flag|<localize|index>|dark
 247   green|x><index|<arg|x> <arg|y>><subindex|<arg|y>|<arg|x>>>>>
 248
 249   <assign|sub-bi-index|<macro|x|y|z|<style-with|src-compact|none|<flag|<localize|index>|dark
 250   green|x><subsubindex|<arg|x>|<arg|y>|<arg|z>><subsubindex|<arg|y>|<arg|x>|<arg|z>>>>>
 251
 252   <assign|sub-bi-index*|<macro|x|y|z|<style-with|src-compact|none|<flag|<localize|index>|dark
 253   green|x><subindex|<arg|x> <arg|y>|<arg|z>><subsubindex|<arg|y>|<arg|x>|<arg|z>>>>>
 254
 255   <assign|subsub-bi-index|<macro|x|y|z|a|<style-with|src-compact|none|<flag|<localize|index>|dark
 256   green|x><subsubsubindex|<arg|x>|<arg|y>|<arg|z>|<arg|a>><subsubsubindex|<arg|y>|<arg|x>|<arg|z>|<arg|a>>>>>
 257
 258   <assign|recall|<macro|x|<block|<tformat|<cwith|1|1|1|1|cell-background|pastel
 259   red>|<table|<row|<cell|<arg|x>>>>>>>>
 260
 261   <assign|fold|<macro|x|y|<surround||<right-flush><action|<active*|<with|color|blue|<with|mode|math|<group|\<Rightarrow\>>>>>|(mouse-unfold)|<arg|x>>|<arg|x>>>>
 262
 263   <assign|unfold|<\macro|x|y>
 264     <arg|x>
 265
 266     <surround||<right-flush><action|<active*|<with|color|blue|<with|mode|math|<group|\<Leftarrow\>>>>>|(mouse-fold)|<arg|x>>|<arg|y>>
 267   </macro>>
 268
 269   <assign|solution|<\macro|x>
 270     <render-exercise|<localize|Solution>|<arg|x>>
 271   </macro>>
 272
 273   <assign|annote|<macro|i|<with|font-family|ss|<active*|<with|color|brown|[>><with|color|dark
 274   blue|<arg|i>><active*|<with|color|brown|]>>>>>
 275
 276   <assign|correct|<macro|old|new|<active*|<with|color|brown|[>><with|color|dark
 277   blue|<arg|old>><active*|<with|color|brown|<with|mode|math|\<rightarrow\>>>><with|color|dark
 278   blue|<arg|new>><active*|<with|color|brown|]>>>>
 279
 280   \;
 281
 282   <assign|joris-title|<macro|x|<block*|<tformat|<twith|table-width|1par>|<twith|table-hmode|exact>|<cwith|1|1|1|1|cell-lsep|2spc>|<cwith|1|1|1|1|cell-rsep|2spc>|<cwith|1|1|1|1|cell-bsep|2spc>|<cwith|1|1|1|1|cell-tsep|2spc>|<cwith|2|2|1|1|cell-lsep|1spc>|<cwith|2|2|1|1|cell-rsep|1spc>|<cwith|2|2|1|1|cell-bsep|1spc>|<cwith|2|2|1|1|cell-tsep|1spc>|<cwith|1|1|1|1|cell-background|#d0f0ff>|<cwith|2|2|1|1|cell-background|#e8f8ff>|<cwith|1|1|1|1|cell-lborder|1ln>|<cwith|1|1|1|1|cell-rborder|1ln>|<cwith|1|1|1|1|cell-bborder|1ln>|<cwith|1|1|1|1|cell-tborder|1ln>|<cwith|2|2|1|1|cell-lborder|1ln>|<cwith|2|2|1|1|cell-rborder|1ln>|<cwith|2|2|1|1|cell-bborder|1ln>|<cwith|2|2|1|1|cell-tborder|1ln>|<cwith|1|1|1|1|cell-block|no>|<cwith|1|1|1|1|cell-hyphen|t>|<table|<row|<cell|<with|par-mode|center|<very-large|<strong|<name|<arg|x>>>><hidden-title|<arg|x>>>>>|<row|<cell|<small|<strong|[
 283   <hlink|Homepage|../main/joris.tm> \| <hlink|Publications|../main/publs.tm>
 284   \| <hlink|<TeXmacs>|http://www.texmacs.org> \|
 285   <hlink|Mathemagix|http://www.mathemagix.org> ]>>>>>>>>>
 286
 287   <assign|joris-versions*|<macro|name|<hlink|Pdf|<merge|<arg|name>|.pdf>>,
 288   <hlink|Bib<TeX>|<merge|<arg|name>|.bib>>>>
 289
 290   <assign|joris-versions**|<macro|name|<hlink|Gzipped
 291   Postscript|<merge|<arg|name>|.ps.gz>>, <hlink|Bib<TeX>|<merge|<arg|name>|.bib>>>>
 292
 293   <assign|joris-versions|<macro|name|<hlink|Html|<merge|<arg|name>|.tm>>,
 294   <hlink|<TeXmacs>|<merge|<arg|name>|.texmacs>>,
 295   <joris-versions*|<arg|name>>>>
 296 </body>
 297
 298 <\initial>
 299   <\collection>
 300     <associate|preamble|true>
 301   </collection>
 302 </initial>