[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?