Package: texmacs Version: 1:1.0.6-2 Severity: normal When using the big symbol \bigsqcap, which is a sort of product, latex output does not work, because the package stmaryrd should be used.
Adding \usepackage{stmaryrd} to the produced Latex file solves the problem. -- System Information: Debian Release: testing/unstable APT prefers testing APT policy: (990, 'testing'), (500, 'testing-proposed-updates') Architecture: i386 (i686) Shell: /bin/sh linked to /bin/bash Kernel: Linux 2.4.30-pre2-pr-hrt-1kHz-1 Locale: LANG=C, [EMAIL PROTECTED] (charmap=ANSI_X3.4-1968) (ignored: LC_ALL set to C) Versions of packages texmacs depends on: ii gs-gpl 8.15-4.1 The GPL Ghostscript PostScript int ii guile-1.6-libs 1.6.7-1 Main Guile libraries ii libc6 2.3.5-8 GNU C Library: Shared libraries an ii libfreetype6 2.1.7-2.4 FreeType 2 font engine, shared lib ii libgcc1 1:4.0.2-5 GCC support library ii libguile-ltdl-1 1.6.7-1 Guile's patched version of libtool ii libltdl3 1.5.22-2 A system independent dlopen wrappe ii libqthreads-12 1.6.7-1 QuickThreads library for Guile ii libstdc++6 4.0.2-5 The GNU Standard C++ Library v3 ii libx11-6 6.8.2.dfsg.1-11 X Window System protocol client li ii libxext6 6.8.2.dfsg.1-11 X Window System miscellaneous exte ii tetex-base 2.0.2c-9 Basic library files of teTeX ii tetex-bin 2.0.2-31 The teTeX binary files ii tetex-extra 2.0.2c-9 Additional library files of teTeX ii texmacs-common 1:1.0.6-2 WYSIWYG emacs-ish mathematical tex ii xbase-clients 6.8.2.dfsg.1-11 miscellaneous X clients ii zlib1g 1:1.2.3-9 compression library - runtime Versions of packages texmacs recommends: ii ispell 3.1.20.0-4 International Ispell (an interacti ii libjpeg-progs 6b-11 Programs for manipulating JPEG fil ii libtiff-tools 3.7.4-1 TIFF manipulation and conversion t ii netpbm 2:10.0-10 Graphics conversion tools ii xfig 1:3.2.5-alpha5-4 Facility for Interactive Generatio -- no debconf information -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]