Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Sadly `¬` never caught on. But I suppose being visually similar to `-` isn't much better.


The "logical negation" sign used to have the vertical line as long as "|", so e.g. "¬A" looked more like "‾|A" but fully vertically aligned with the letter. Sadly, this glyph fell out of usage in fonts in favour of "minus with cedilla/descender".


I'd always understood it came from Frege's Begriffsschrift, a small descender from a horizontal line (part of a larger diagram), so like a short wide T, then lost its right arm later. Would you have some examples? (a quick google images shows nothing like that ...)


It was definitely a thing in Soviet works on mathematical/symbolic logic. But here's an example from Curry [0]. As I said, it was mostly a stylistic choice.

[0] https://www.google.ru/books/edition/Foundations_of_Mathemati...


If it's not a shift+<something> key on a popular keyboard layout, it's not going to gain widespread adoption in programming.


¬ is shift+` on the most common UK keyboard layout, but yeah, it would probably need to be popular in America.


I think most of the world either uses a US layout, or other layouts that don't have that key.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: