Some web browsers are unable to display all these characters, some of which are needed for the CIS301 lecture notes. So, I made two versions of the notes: one version for ``smart'' web browsers that can display all the html characters, and one version for browsers that cannot.
Test your browser like this:
character | Smart | Text |
and | ∧ | & |
or | ∨ | v |
not | ¬ | - |
implies | —> | --> |
forall | ∀ | ALL |
exists | ∃ | EXISTS |
entails | |− | |- |
equiv | −||− | -||- |
bot | ⊥ | _|_ |
A final comment: All the program fragments in the ``Text'' version of the lecture notes are executable Python programs that can be copied, pasted, and used as is. If you forgot what Python is, see http://www.cis.ksu.edu/~schmidt/200s08.