Hi,
I've looked through the standard tables and can't find a symbol for logical not. I can't imagine one doesn't exist especially since other logical operators are covered. Are there any other tables or ways of importing this symbol which I badly need?
Search found 2 matches
- Wed Oct 03, 2012 3:33 pm
- Forum: Math & Science
- Topic: Logical Not symbol
- Replies: 1
- Views: 26381
- Thu May 31, 2012 9:49 pm
- Forum: Math & Science
- Topic: Numbering System for Proofs
- Replies: 0
- Views: 1262
Numbering System for Proofs
Hi,
I am writing my thesis and require a numbering system for my proofs. This numbering system needs to be a simple (1), (2), (3)... , but must not interfere with the overall document numbering system, which is used for statements unrelated to the proofs. Is it possible to do this?
I am writing my thesis and require a numbering system for my proofs. This numbering system needs to be a simple (1), (2), (3)... , but must not interfere with the overall document numbering system, which is used for statements unrelated to the proofs. Is it possible to do this?