I read this paper, I could find the table below. But the meanings of these symbols in this table was really unfamiliar to me because it was something I had never seen before. So I want to know more about the reasons behind the meaning of these symbols and the meanings themselves.

enter image description here

  • $\begingroup$ Quite weird... maybe "in the sense of existential quantification" means $\exists x$? $\endgroup$ Commented May 19 at 8:14
  • $\begingroup$ This is completely nonstandard notation (and, frankly, looks like nonsense). $\endgroup$ Commented May 19 at 8:20
  • $\begingroup$ @MauroALLEGRANZA Yes, you're right. It should be written as symbol $\exists$, not symbol $\ni$. $\endgroup$ Commented May 19 at 8:23
  • $\begingroup$ Above question's symbol was my mistake sorry.. $\endgroup$ Commented May 19 at 8:26
  • 1
    $\begingroup$ @MauroALLEGRANZA Thank you for your advice. I edited it just now. $\endgroup$ Commented May 20 at 20:22


You must log in to answer this question.

Browse other questions tagged .