18 Dec
2020
18 Dec
'20
2:11 p.m.
It certainly looks as if that's how it started. But maybe the long stroke to the right evolved to distinguish it from the reverse membership symbol. —Dan
On Friday/18December/2020, at 12:25 PM, Michael Collins <mjcollins10@gmail.com> wrote:
I'm pretty sure the "pitchfork" image is just the result of writing \ni quickly on a blackboard.