Re: [Texmacs-dev] Proof environment and amssymb

[Joris van der Hoeven]

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