I see, thank you. Does it add too much noise if I ask such questions, should I rather not yet read the sequences if I sometimes have to inquire about such matters? Or should I ask somewhere else?
I was looking up this table of mathematical symbols that stated that ~ does read as ‘has distribution’ and stopped looking any further since I’m dealing with probabilities here. I guess it should have been obvious to me to expect a logical operator. I was only used to the notation not and ¬ as the negation of a proposition. I’ll have to adjust my perceived intelligence downwards.
There’s no problem with asking a clarifying question like that, which might help other lurkers and can be answered quickly without huge amounts of work.
By the way, there’s no need for such self-deprecating comments about your education or intelligence. It’s socially a bit off-putting to talk about the topic, and it risks coming across as disingenous. Just ask your questions without such supplication.
The prefix tilde, “~”, is commonly used as an ASCII approximation for logical negation, in place of the more mathematically formal notation of “¬” (U+00AC, HTML entity “¬”, and latex “\lnot”) . On that page are a few other common notations.
I’m stuck, what does ~ denote?
Y and ~Y, where ~Y does read as … ?
Not-Y, i.e. Y is false..
I see, thank you. Does it add too much noise if I ask such questions, should I rather not yet read the sequences if I sometimes have to inquire about such matters? Or should I ask somewhere else?
I was looking up this table of mathematical symbols that stated that ~ does read as ‘has distribution’ and stopped looking any further since I’m dealing with probabilities here. I guess it should have been obvious to me to expect a logical operator. I was only used to the notation not and ¬ as the negation of a proposition. I’ll have to adjust my perceived intelligence downwards.
There’s no problem with asking a clarifying question like that, which might help other lurkers and can be answered quickly without huge amounts of work.
By the way, there’s no need for such self-deprecating comments about your education or intelligence. It’s socially a bit off-putting to talk about the topic, and it risks coming across as disingenous. Just ask your questions without such supplication.
No, these are reasonable questions to ask.
Others that gets used a lot in various contexts are !Y, Y^c (for Y complement). There are probably more, but I can’t think of them at the moment.
Y with a bar over it also gets used (though be careful as this more commonly means closure of Y, or, well, quite a few other things...)
“Not Y”.
The prefix tilde, “~”, is commonly used as an ASCII approximation for logical negation, in place of the more mathematically formal notation of “¬” (U+00AC, HTML entity “¬”, and latex “\lnot”) . On that page are a few other common notations.
Maybe this is a stupid question, but shouldn’t it mean “When you just tell the story “Y”, you get to sum over the possibilities Y and ~Y.” ?