- Microsoft Windows 7 and 8, and Mac OS X 10.6, 10.7, and 10.8
- Microsoft Windows/Vista and Mac OS X/Leopard (10.5)
- Linux, FreeBSD, Solaris, and other Unix OSes
- Microsoft Windows XP, NT, 2000, ME, and 98
- Apple Mac OS X/Tiger (Panther, etc.) and Mac OS 9
- A Note About the Special Characters in our Entries
Note: If your browser is having trouble displaying the uppercase cursive (‘script’) characters that we have started to use in some technical entries, please follow the instructions for installing Computer Modern Symbol font (cmsy10.ttf) from the CTAN TeX Archive site:
Once you have reached the above page, all you need to do is search for ‘cmsy10.ttf’ and download/install that font.
At this time, there are no known issues when displaying our webpages in Windows 7 and 8, Mac OS X 10.6 (Snow Leopard), Mac OS X 10.7 (Lion), or Mac OS X 10.8 (Mountain Lion).
Windows/Vista. Though we have had limited opportunities to test our pages on Vista machines, the best results are obtained when using Firefox as the browser using its default font. We've had reports that Internet Explorer may lack certain special Unicode characters that we use. If you can't install Firefox, then try: Start → Settings → Control Panel; switch to the Classic View of the Control Panel; select Regional and Language → Languages and then check both “Install files for complex script” and “Install files for East Asian languages”. Then Restart your computer so the new fonts will get loaded.
Mac OS X/Leopard (10.5). The latest versions of Safari, Firefox, Camino, Netscape, Mozilla, and OmniWeb have all been tested successfully under Mac OS X. However, for the best results, you should set the font to Times or Lucida Grande, since these fonts seems to have the widest support for Unicode characters in Mac OS X. We've also tested Opera with pretty good success. See also Alan Wood's Unicode Resources: Unicode fonts for Macintosh OS X computers.
Firefox, Mozilla, Netscape, and Opera all provide reasonably good support for the special characters used in SEP entries, assuming you use the default font. However, we haven't test our pages with these systems as widely as we have the Windows and Mac platforms. So we cannot supply more specific information about what works best, i.e., what browser/font combination supports the widest range of Unicode characters.Firefox gives the best results. If you are using IE 7 under Windows XP, or IE 6 under Windows XP, 2000, ME or 98, try setting your font to Lucida Sans Unicode, Arial, Times, Times New Roman or Courier New fonts, all of which are supposed to support the Unicode named character entities we use in our documents. It is important to remember that not all of these fonts will support all the Unicode characters, so you may need to try different fonts for entries which have obscure characters. However, we also have had reports that Netscape 7 on Windows 98 works fine with our pages. There is a link to previous versions of Netscape below.
Some things to do if special characters aren't displayed:
- Some users need only use the Windows Update mechanism built into
Internet Explorer to install support for the East Asian languages on
your Windows machine. For some reason, this makes the Unicode fonts
available to IE!
- In IE select the Tools → Windows Update menu item
- In the window that comes up, choose to scan your system
- If the scan completes and shows new updates to install, select Windows updates in the left frame of the window; if it says no new updates are available, then try Option 2 below
- Under the Language Support category in the lower right frame, click the 'Add' button for each of the Asian languages (Chinese, Japanese, Korean) [we are not sure whether all of these are required, but they do seem to be jointly sufficient]
- Click review and install in the upper right frame of the browser window
- Wait for installation to complete
- Restart web browser
- If, after scanning your system, IE reports that there are no new updates available, you may instead have to use the Control Panel to install support for the East Asian languages on your Windows machine. Again, for some reason, this makes the Unicode fonts available to IE! Just follow the first 4 instructions on the following web page:
- Alternatively, try following the instructions at Alan Wood's Unicode Resources page: Unicode fonts for Windows computers
- Alternatively, install and use any of the other web browsers mentioned below:
We should also note the following for Windows XP users. Our pages, and all other web pages, will look better if you set the following: Control Panel → Display → Appearance → Effects → Use the following method to smooth edges of screen fonts → ClearType.
Mac OS X Tiger (Panther, etc.). Safari and Firefox work very well. For Safari, set the font to either Time Roman or Lucida Grande. For Firefox, use the default font.
Mac OS 9. Internet Explorer 5 on Mac OS 9 works surprisingly well if you set it to use the font Times New Roman. It has the ability to display most all of the special characters that are widely supported. We know of no way to configure Netscape 4.7 under Mac OS 9 so that it properly displays our pages and the Unicode characters which they use. There is reason to believe, however, that the unofficial build Mozilla 1.3.1 for Mac OS 9 will display our pages properly.
We have tried to format our entries in XHTML so that they display properly in a wide range of web browsers. We have developed a web page of special characters which display correctly in a variety of current browsers. See
But many of our entries use special symbols, such as logical, mathematical, and other symbols, which are not widely supported. Here is a list of such symbols:
In the past, we used many more of the "low-resolution" screen shots of these characters and displayed the resulting graphics in the entry as small images, as we have done on the page cited immediately above. But, recently, after being convinced that there was wide support for Unicode characters among web browsers and operating systems, we starting replacing the low-resolution graphics with widely supported font-based Unicode characters. We are slowly but surely making all of our older entries compatible with the newer XHTML standard in the process. Indeed, we have now configured our publishing system so that our entries must parse as valid XHTML (i.e., be in compliance with the international standards set by the authoritative W3C organization) before they are published on the web. (We determine validity by sending our entries, pre-publication, to <http://validator.w3.org/> and fixing any errors reported when this engine tries to determine whether our documents are valid.)
Invariably, our best intentions are sometimes defeated by the technologies involved. If your browser is not properly displaying the named character entities in an entry (e.g., logical symbols, mathematical symbols, etc.), then we hope the above suggestions prove useful.