Horsehoes and Fishhooks

•Definitions [Lewis, 1918, 293]
◦1.01 Consistency: p*q =def ~~(p&q) [Lewis uses centered open circle]
◦1.02 Strict Implication: p => q =def ~(p&-q) [Lewis uses the fishhook implication symbol, I'm using "=>".]