Peirce arrow

Etymology
Named after.

Noun

 * 1)  The downward arrow symbol ↓ denoting the NOR operation.