6/25/26
The intellectual backdrop here is Steven A. Stegeman's book The Return of Rationality: A Closed System of Propositional Logic: Stegeman, Steven A.: 9798993350851: Amazon.com: Books
There will be the need to write logical symbols. Here are the ones in use.
'not' : ∼ (the 'tilde')
'and': . (just a period)
'or': ∨ (vel not upper case 'V' or lower case 'v')
'exclusive or': ⊕
'implication': ⊃
'equivalence': ≡
'therefore': ∴
A palette will be provided for typing these.
These logical symbols do have html codes:
'not' : ∼ (the 'tilde')
'and': . (just a period)
'or': ∨
'exclusive or': ⊻
'implication': ⊃
'equivalence': ≡
'therefore': ∴
So, for example, you insert into the html of a web page '∴' you will get ∴
Wikipedia has a table of logical symbols
Introductory Video
[The narrator mis-speaks at one point saying 'hook' for 'or'.]