mailing-list for TeXmacs Users

[Eric <address@hidden>]

Dear all,

When I attempt to load the file 0.tex (created with Texmacs and included 
as an attachment) Texmacs asks me if I wish to load the more recent 
autosave file. When I say no, Texmacs freezes for a time and then exits. 
Can anyone figure out why?

Eric M.
\documentclass{letter}
\usepackage{amsmath}

%%%%%%%%%% Start TeXmacs macros
\newcommand{\tmem}[1]{{\em #1\/}}
\newcommand{\tmop}[1]{\ensuremath{\operatorname{#1}}}
\newcommand{\tmstrong}[1]{\textbf{#1}}
\newcommand{\tmtextbf}[1]{{\bfseries{#1}}}
\newcommand{\tmtextit}[1]{{\itshape{#1}}}
%%%%%%%%%% End TeXmacs macros

\newcommand{\tmem}[1]{\tmtextit{#1}}
\newcommand{\tmop}[1]{\ensuremath{\mathrm{#1}}}
\newcommand{\tmstrong}[1]{\tmtextbf{#1}}
\newcommand{\tmtextbf}[1]{\tmtextbf{#1}}
\newcommand{\subsection}{{\macro{{\macro{1}{{\medskip}{\bigskip}

{\noindent}\tmtextbf{{\Large }}}}}}}
\newcommand{\tmop}[1]{\ensuremath{\mathrm{#1}}}

\begin{document}



{\tmstrong{For the record: products}}

The operator , $: (A \rightarrow B) \rightarrow (A \rightarrow C) \rightarrow
(A \rightarrow B \times C)$, is defined by the universal property

$h = f g \hspace{1em} \equiv \hspace{1em} \tmop{outl} \cdot h = f \hspace{1em}
\wedge \hspace{1em} \tmop{outr} \cdot h = g$

We have

$[\tmop{outl} \cdot (f g) \hspace{1em} = \hspace{1em} f]$

{\tmem{Proof}}

\begin{tabular}{ll}
  &  $\tmop{outl} \cdot (f g)$\\
  =  &  {\hspace{1em}}\{universal property of \}\\
  &  $f$ 
\end{tabular}

$[\tmop{outr} \cdot (f g) \hspace{1em} = \hspace{1em} g]$

Proof

\begin{tabular}{ll}
  &  $\tmop{outr} \cdot (f g)$\\
  =  &  {\hspace{1em}}\{universal property of \}\\
  &  $g$ 
\end{tabular}

$[(\tmop{outl} \cdot h) (\tmop{outr} \cdot h) \hspace{1em} = \hspace{1em} h]$

Proof

\end{document}