[Texmacs-dev] Proof environment and amssymb

[bump]

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}

Daniel Bump