Tableau3 displays mathematical symbols, e.g. logical connectives and quantifiers. The symbols that are needed are for Negation, IFF, IF, OR, AND, Exists, For All, and Turnstile:
In order to display these symbols, the program needs to make use of some fonts. It will try to locate these in various places on your computer, depending on the setting. Below are highlighted a couple of common freely available Unicode fonts (Lucida Sans Unicode and Arial Unicode MS) that can display these symbols. The symbols are illustrated for each font, together with an indication of whether or not your Web browser can display them.
|
Symbols as they should display (these are images) |
|||||||
|
|
|
|
|
|
|
|
| How your Web browser is displaying them | |||||||
| ¬ | ↔ | → | ∨ | ∧ | ∃ | ∀ | ⊦ |
Lucida Sans Unicode is recommended as it is quite a compact font. You can download it from here (click on the link with the right mouse button and select "Save target as .." or similar) and then copy it to your fonts directory. |
|||||||
|
Symbols as they should display (these are images) |
|||||||
 |
 |
 |
 |
 |
 |
 |
 |
| How your Web browser is displaying them | |||||||
| ¬ | ↔ | → | ∨ | ∧ | ∃ | ∀ | ⊦ |
Arial Unicode supports many languages as well as the symbols needed here, so it is rather large (23MB when installed) and may slow down your system. Further information, together with the font itself, is available from the Microsoft download site. |
|||||||
Your web browser may not display all eight symbols correctly for either of the fonts above. If this is the case, you may still have another suitable font installed on the system that contains the symbols the applet needs to appear correctly. If you have one of the following five fonts installed on your system, then tableau3 should work for you and you can proceed to the next section, Applet or Application.
If you do not have any of these fonts installed, or if when you launch the applet symbols are not displayed correctly, then we would recommend that you download one of the two free fonts described higher up on this page (Lucida Sans Unicode or Arial Unicode MS). Lucida Sans Unicode MS is preferable as it is the most compact of the two. Once you have installed one of the fonts, you may wish to reload this page to make sure that the symbols are now displayed correctly in the web browser display test for that font (these are the grey and green areas towards the top of the page).
Previous | Next: Applet or Application