Fonts are available from http://support.wolfram.com/technotes/latestfonts.en.html, including a tgz for Linux users.
Debian bug for this is http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=505847
Fonts are available from http:// support. wolfram. com/technotes/ latestfonts. en.html, including a tgz for Linux users.
Debian bug for this is http:// bugs.debian. org/cgi- bin/bugreport. cgi?bug= 505847