31–34 of 34 posts
Earlier quoted context omitted.
This isn't quite what's going on. A better reading might be "which is a"; "Ǝx s.t. x∈ℕ" (there exists an x such that x is in the naturals) is just being shortened to "Ǝx∋ℕ" (there exists an x in the naturals), or there exists an x which is in the naturals. It's not really that different from the normal usage.
If that’s it, why is it using ∋ rather than ∈? I would expect “Ǝx∈ℕ”.
Yeah, that's...an unusual choice.
Earlier quoted context omitted.
This isn't quite what's going on. A better reading might be "which is a"; "Ǝx s.t. x∈ℕ" (there exists an x such that x is in the naturals) is just being shortened to "Ǝx∋ℕ" (there exists an x in the naturals), or there exists an x which is in the naturals. It's not really that different from the normal usage.
> Ǝx∋ℕ "There is an x such that the set of natural numbers is a member of x"?
I didn't get it at all
I also played around with the canvas and couldn't draw anything, I tried taking the dot product of a "raven" and a "crow", piping it to a "sun", and didn't see anything. I would have expected something since a raven and crow are similarish so should have a non-zero dot product. But for that matter a dot product of a raven and a raven piped to a sun doesn't show anything either so I'm just completely lost.
I don’t think I have ever seen ∋ used to mean “such that” so I was very confused until I got to the explanation (as it were; why CONTAINS AS MEMBER is being used to mean “such that” is never explained).
Same. I recalled pipe being used for "such that". But [per wikipedia]( https://en.wikipedia.org/wiki/Glossary_of_mathematical_symbo... ), that's specifically "set-builder notation", and the _last one_ of the twelve instances of the string "such that" on the page (though I don't know if they're ordered by usage, "alphabetically", or what).
Not a huge fan of quantifier symbols in published notation. For example I use backwards E all over the place in my notes, but in everything I typeset I say “there exists”. Mathematics is supposed to be written in complete sentences anyway so you are going to have some words, so this doesn’t seem a particularly useful two words to turn into a symbol.