Noun
Peirce arrow (plural Peirce arrows) (logic) The downward arrow symbol ↓ denoting the NOR operation. Synonym: Quine dagger Coordinate term: Sheffer stroke