I do not ever think I have ever had a need to type this character "¬", and so I was wondering what it is called and what it is for and why it is on the my keyboards (both my UK and EU keyboards)? I assume that it had some common function back in the 1970's maybe, but I'm curious what that might be as I'm almost completely certain that I have never once in over 25 years ever had a need to type this character for anything. I do use the tilde character "`" a lot, but never the shift-variant on that key of the "¬".
Part of the reason that I am asking this is that I might use it as an AutoHotkey trigger, since it seems so completely useless to me, but I was curious about what it might be for etc before I do that.
It's the logic negation symbol.
It's used in some programming languages as a mean to negate a boolean value, particulary old languages