Checking your computer is configured correctly


Web based instruction

Most of the software and instruction on this site should run on any computer with any web browser, without any special configuration.

So most Users can stop reading this page at this point.

Sometimes there can be issues with symbols.


Symbolic logic uses symbols, in particular (unicode) ∼ ∧ ∨ ⊃ ≡ ∀ ∃ ∴ or (html) ∼ ∧ ∨ ⊃ ≡ ∀ ∃ ∴ . If you cannot see these, that certainly is a problem to be solved. The solution is a) use a more modern web browser, or b) use a different web browser, or c) get a more modern computer and try (a) and (b) again.

[What is happening here is that that the symbols are in unicode and each symbol has its own unique unicode. However, particular fonts on a computer display only a relative few of 60,000 odd unicode characters. If a particular font cannot display a symbol, changing fonts to a different font may help (and some host computers automatically do this). The web browsers can display many unicode symbols, and they normally do so by means of an html conversion. Each year, the browsers can display more and more. Our logical symbols are commonplace mathematical symbols so they should be displayed. But if you have a really old browser.... you may see either nothing, or a default character like a square box ▢.]

You could also look at Writing Symbols and Alternative Symbols.

Even more on (Special) Symbols

Wikipedia is pretty good on this (for it is a problem for them also). See Help: Special Characters (especially the section on Displaying Special Characters). One point they make is that the default font for the Internet Explorer browser is Times New Roman and that font does not contain much Unicode. A work around for Internet Explorer is to change the default font to something else, say Lucida Sans Unicode-- they give the details. And Wikipedia further asserts

"Special symbols should display properly without further configuration with Mozilla FirefoxKonquerorOperaSafari and most other recent browsers."

Google Chrome should be added to that list, as should Brave.

It is possible to download Deriver as a Java application and to run that. You would probably need to be a little geeky to follow that route. But instructions are here.