Logicmedium
0:00.0

Which connective is represented by the 'Pierce Arrow' ↓\downarrow?