This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics articles
This article is within the scope of WikiProject Philosophy, a collaborative effort to improve the coverage of content related to philosophy on Wikipedia. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the general discussion about philosophy content on Wikipedia.PhilosophyWikipedia:WikiProject PhilosophyTemplate:WikiProject PhilosophyPhilosophy articles
This article is within the scope of WikiProject Typography, a collaborative effort to improve the coverage of articles related to Typography on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.TypographyWikipedia:WikiProject TypographyTemplate:WikiProject TypographyTypography articles
This article falls within the scope of WikiProject Writing systems, a WikiProject interested in improving the encyclopaedic coverage and content of articles relating to writing systems on Wikipedia. If you would like to help out, you are welcome to drop by the project page and/or leave a query at the project’s talk page.Writing systemsWikipedia:WikiProject Writing systemsTemplate:WikiProject Writing systemsWriting system articles
I have found the source. Apparently they come from unicode tables. I'm not 100% sure that whoever wrote those descriptions for the unicode table actually understood the symbols, but they at least aren't uncorroborated fictions. AlphabeticThing9 (talk) 18:05, 4 January 2024 (UTC)[reply]
∁ , because it's set theory and not used in logic well-formed formulae or metalogic (eg. ⊢).
⊙ , we should either merge this with "material equivalence" or remove it.
The ⊥ ↓ entry in the "advanced and rarely used symbols". I have never seen ⊥ used that way. In every textbook I have seen, ⊥ means "false". So I think this entry confuses people who would read this page. Also it's redundant because there is already an entry for Pierce's arrow ↓. ElskverdigHug (talk) 12:48, 4 January 2024 (UTC)[reply]