XHTML+MathML: installation instructions

If you want to install and configure your browser to read these XHTML+MathML pages click the correct link for your set-up. After doing so, your browser will then be able to view MathML correctly on a growing number of sites world-wide.

Quick links

This page was written in March 2007 for browsers available at that date. If you are aware of any changes since then that affect these instructions please let me know.

1 Microsoft Windows and Firefox

Installation of the current version Firefox (a version of mozilla) in MS-Windows should be straightforward. Note that you will also need certain fonts that are NOT installed by default. (Versions of firefox or mozilla with all the fonts you need may appear later in 2007.)

STEP 1. First download and install Firefox from this link (if you haven't done so already). Any version is OK for these web pages.

STEP 2. You will need to install extra fonts as well. These are available via the Mozilla MathML fonts page. The simplest way is to click the link for the windows font installer on the Mozilla MathML fonts page. (Look for the text On Windows (not Linux), download the font installer and follow the instructions in the top right of the page.)

2 Microsoft Windows and Internet Explorer

I'll assume that you are running a recent version of MS-windows (Windows XP or Windows 2000 or later) and have a recent version of Internet Explorer (6.0 or later). On its own this should enable you to see a limited version of the pages. However to view the MathML correctly you need a browser plug-in, MathPlayer (version 2.0 or later).

Install MathPlayer from Design Science's web site at mathplayer. Make sure you have JavaScript enabled on your web browser.

3 Other operating systems and firefox

Most recent mozilla-based browsers (such as Mozilla itself, Epiphany and of course Firefox) are able view MathML. If you use one of these, just follow the instructions to install fonts for your operating system and try it. I use Linux and it works fine. The hints on the Mozilla fonts page were helpful for me.

If you have some other browser, such as Safari, Konqueror, it is probably best at the moment to install Firefox and the fonts.

4 Amaya

The W3C's web browser, Amaya, should work. (MS-Windows, Linux, MacOS X.) I have little experience with this, so just click the link and follow the instructions.

5 For web gurus

I follow web standards and recommendations at the WWW consortium http://www.w3.org. My web servers use content negotiation to determine the supposedly best version of my pages for your browser. In the case of Internet Explorer, that's a bit difficult to do in general. The plain HTML versions of the files contain JavaScript to detect if you are running Internet Explorer with MathPlayer and if so, they automatically reload the XHTML version of the page.

This web page is copyright. It is one of Richard Kaye's Logic Web Pages, designed to supplement the book The Mathematics of Logic: a guide to completeness theorems and their applications (CUP, 2007).