mailing-list for TeXmacs Users

["Kostas Oikonomou" <address@hidden>]

I have the following test document:

<TeXmacs|1.0.5>
<style|generic>
<\body>
  
<with|mode|math|<really-tiny|(><tiny|(><very-small|(><small|(><normal-size|(><large|(><very-large|(><huge|(><really-huge|(>>
</body>
<\initial>
  <\collection>
    <associate|page-type|letter>
  </collection>
</initial>

When I export it to LaTeX, I get

\documentclass{letter}
\usepackage{geometry}
\geometry{letterpaper}
\begin{document}

$\reallytiny{(} \tiny{(} \verysmall{(} \small{(} \normalsize{(} \large{(}
\verylarge{(} \huge{(} \reallyhuge{(}$

\end{document}

The commands \reallytiny, \verysmall, \verylarge, \reallyhuge are not known to
LaTeX.

I've looked through the source code of 1.0.5 to find how these commands are
produced, but I wasn't able to discover how it is done.
If someone could point me to the right place in the code, I am willing to try 
to
fix this problem.

                                Kostas