Browser support 2.2 2002/09/06 2003/02/03 Ian Barland ian@cs.rice.edu John Greiner greiner@cs.rice.edu Ian Barland ian@cs.rice.edu John Greiner greiner@cs.rice.edu Justin Garcia bih@rice.edu (Blank Abstract) The information in this module is outdated. Please see my course for a table of contents. This page meant to be viewed with a MathML-enabled browser. If you see (∀x. (P(x) → (∃y. (P(y) ∨ φ)))) as a nice version of (forall x . (P(x) -> (exists y . (P(y) v phi)))) you're doing okay; If you further see 𝒜 ⊢ ℬ as a nice version of (scriptA |- scriptB) you're set! If not, see our description of browser support . At Rice on the CSNet, use mozilla. Preferably, use version 1.1, as currently available on Solaris 8 machines. On frosty.cs, version 1.1 is the default. On other Solaris 8 machines, version 1.1 is not yet the default, but available via /opt1/mozilla-1.1/sunos5/bin/mozilla. In general, to view TeachLogic web pages, you'll need a browser that supports the following features: Cascading Style Sheets (CSS) -- Most recent browsers support CSS sufficiently well. MathML -- Some browsers support MathML sufficiently well. However, most (all?) do not fully support Unicode Plane 1 numerical entity references, which includes most mathematical alphanumeric characters. Math-oriented fonts Which browsers support these features? The above links provide more details, but here's a summary of some browsers. Mozilla and Netscape (version 7.0) -- Both work, except some characters (Unicode Plane 1) don't appear correctly. Internet Explorer is not yet an option, even with the MathPlayer plug-in to view MathML. IE won't display pages with some characters (Unicode Plane 1). Alternatively, PDF versions of the web pages are also provided via the Base module's index .