~ubuntu-branches/ubuntu/hardy/texmacs/hardy

<TeXmacs|1.0.2.9>

 

<style|<tuple|tmdoc|tmdoc-web>>

 

<\body>

  <assign|mmxdoc-style|1.0>

 

  <assign|mmx|<with|font-shape|small-caps|Mathemagix>>

 

  \;

 

  <assign|mmxweb-main-links|<macro|<tmweb-list|<tmweb-link|Welcome|welcome>|<tmweb-link|Download|download>|<tmweb-link|Progress|progress>|<tmweb-link|Mailing

  lists|ml>|<tmweb-link|Contact|contact>>>>

 

  <assign|aldor-fragment|<value|scheme-fragment>>

 

  <assign|caml-fragment|<value|scheme-fragment>>

 

  <assign|cpp-fragment|<value|scheme-fragment>>

 

  <assign|mmx-fragment|<value|scheme-fragment>>

 

  <assign|type|<macro|x|<with|mode|text|font-family|ss|<arg|x>>>>

 

  <assign|andt|<with|mode|math|<space|0.6spc><wide*|\<wedge\><rsub|>|\<wide-bar\>><space|0.6spc>>>

 

  <assign|ort|<with|mode|math|<space|0.6spc><wide*|\<vee\><rsub|>|\<wide-bar\>><space|0.6spc>>>

 

  <assign|implt|<with|mode|math|<space|0.6spc><wide*|\<Rightarrow\><rsub|>|\<wide-bar\>><space|0.6spc>>>

 

  <assign|forallt|<with|mode|math|<wide*|\<forall\><rsub|>|\<wide-bar\>><space|0.2spc>>>

 

  <assign|existst|<with|mode|math|<wide*|\<exists\><rsub|>|\<wide-bar\>><space|0.2spc>>>

 

  \;

</body>

 

<\initial>

  <\collection>

    <associate|preamble|true>

    <associate|page-even|30mm>

    <associate|page-reduce-right|25mm>

    <associate|page-reduce-bot|15mm>

    <associate|page-reduce-left|25mm>

    <associate|sfactor|4>

    <associate|page-top|30mm>

    <associate|page-type|a4>

    <associate|page-right|30mm>

    <associate|par-width|150mm>

    <associate|page-odd|30mm>

    <associate|page-bot|30mm>

    <associate|language|english>

    <associate|page-reduce-top|15mm>

  </collection>

</initial>