title: what is the '¬' character called and what is it for
body: <p>I do not ever think I have ever had a need to type this character <code>&quot;¬&quot;</code>, 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 <em>do</em> use the tilde character <code>&quot;`&quot;</code> a lot, but never the shift-variant on that key of the <code>&quot;¬&quot;</code>.</p>
  <p>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.</p>