[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Texmacs-dev] Proof environment and amssymb

From: Joris van der Hoeven
Subject: Re: [Texmacs-dev] Proof environment and amssymb
Date: Thu, 26 Jun 2003 16:51:13 +0200 (CEST)

> Exporting a LaTeX file from TeXmacs produces the following headers:
> \documentclass{article}
> \usepackage{amsmath,bbm}
> %%%%%%%%%% Start TeXmacs macros
> \newcommand{\tmop}[1]{\operatorname{#1}}
> \newtheorem{proposition}{Proposition}
> \newenvironment{proof}{
>   \noindent\textbf{Proof}\ }{\hspace*{\fill}
>   \begin{math}\Box\end{math}\medskip}
> \newenvironment{proof*}[1]{
>   \noindent\textbf{#1\ }}{\hspace*{\fill}
>   \begin{math}\Box\end{math}\medskip}
> %%%%%%%%%% End TeXmacs macros\usepackage{amsmath,bbm}
> Later the Proof environment produces an error:
> ! LaTeX Error: Command \Box not provided in base LaTeX2e.
> The solution is:
> \usepackage{amsmath,bbm,amssymb}

This is strange, because we do have a dependency

  (proof "amssymb")

although we might have to add the dependency

  (proof* "amssymb")

What version of TeXmacs do you use?

reply via email to

[Prev in Thread] Current Thread [Next in Thread]