Googling this question has proved somewhat useless, so the ¬
symbol:
- What is it for?
- What is is called?
- Is it used in any programming languages?
Software Engineering Stack Exchange is a question and answer site for professionals, academics, and students working within the systems development life cycle. It only takes a minute to sign up.
Sign up to join this communityGoogling this question has proved somewhat useless, so the ¬
symbol:
The only use I've seen for the ¬
symbol is to represent negation in the context of formal logic. For instance, if P
is the proposition "It will rain today", then ¬P
is the proposition "It will not rain today." I've also seen ~ used for this.
I don't believe it has an actual name other than "negation symbol". Normally it's read as "not".
As far as I know, in programming this symbol has no special meaning, at least not in any mainstream languages I've used.
¬=
, ¬>
, etc. Most implementation also allow `\` because many keyboards lack a ¬ key. I'm not sure that it can be considered a mainstream language, though.
– mrb
Aug 8 '16 at 13:33
U+00AC NOT SIGN
and is one of the many notations for logical negation – amon Jul 19 '15 at 18:49¦
. – BanksySan Jul 19 '15 at 19:26