Many logical operators seem to have multiple variants:
- Material implication: ⇒, →, ⊃
- Negation: ¬, ~, !
- Conjunction: ∧, ·, &
- Disjunction: ∨, +, ∥
Are there differences in their usage (e.g., certain ones more appropriate for certain fields or traditions over others)? Do they come in groups (e.g., if you use ~ for negation you should use · for conjugation; using ~ and ∧ together would be strange)?
This might not exactly be a logic question, but more of a sociological one pertaining to logic, that is what (if any) are the implicit rules that govern the use of these symbol variants, the violation of which would result in prefessional philosophers thinking, "Ah, this person is an amateur"?