List of logic symbols: Revision history

14 September 2024

• curprev 11:2511:25, 14 September 2024 Zobblerone talk contribs m 25,669 bytes +59 Fixed grammar two times (both times removed the "it" from "Whether [...] is used, [it] depends on the author's style") and some minor formatting for variables undo

6 September 2024

• curprev 17:1817:18, 6 September 2024 AnomieBOT talk contribs m 25,610 bytes +4 Dating maintenance tags: {{By whom}} undo
• curprev 15:1715:17, 6 September 2024 SVkona talk contribs m 25,606 bytes +28 Emphasized need for attribution on a claim for the recommended usage of a symbol undo

3 August 2024

• curprev 16:3916:39, 3 August 2024 WOSlinker talk contribs m 25,578 bytes −40 remove unused bgcolor in wikitable undo

12 July 2024

• curprev 21:4221:42, 12 July 2024 Leuzim talk contribs 25,618 bytes −21 →Advanced or rarely used logical symbols: removed actual displaying symbols from boxes supposed to show latex commands undo Tags: Mobile edit Mobile app edit Android app edit

14 June 2024

• curprev 01:3501:35, 14 June 2024 David Eppstein talk contribs 25,639 bytes −408 →Usage in various countries: that leaves only one line, looking misplaced. just remove the rest undo
• curprev 01:3401:34, 14 June 2024 David Eppstein talk contribs 26,047 bytes −326 →Japan: same undo
• curprev 01:3401:34, 14 June 2024 David Eppstein talk contribs 26,373 bytes −284 →Poland: rm unsourced undo

10 June 2024

• curprev 11:5611:56, 10 June 2024 95.10.202.101 talk 26,657 bytes +410 →Usage in various countries undo Tag: Visual edit: Switched

28 May 2024

• curprev 17:4217:42, 28 May 2024 Air on White talk contribs m 26,247 bytes −12 Reverted edits by 2A02:C7C:A4EB:5500:8DC5:2B88:B353:160F (talk) (HG) (3.4.12) undo Tags: Huggle Rollback
• curprev 17:4217:42, 28 May 2024 2a02:c7c:a4eb:5500:8dc5:2b88:b353:160f talk 26,259 bytes +12 No edit summary undo Tags: Reverted Mobile edit Mobile web edit

2 May 2024

• curprev 12:1012:10, 2 May 2024 Thiagovscoelho talk contribs 26,247 bytes +24 →See also undo

26 April 2024

• curprev 17:3717:37, 26 April 2024 Thiagovscoelho talk contribs 26,223 bytes −103 No edit summary undo
• curprev 17:3417:34, 26 April 2024 Thiagovscoelho talk contribs 26,326 bytes −1,186 Reducing table width undo Tags: nowiki added Visual edit
• curprev 17:2817:28, 26 April 2024 Thiagovscoelho talk contribs 27,512 bytes +103 No edit summary undo

22 April 2024

• curprev 20:0220:02, 22 April 2024 ElskverdigHug talk contribs 27,409 bytes −870 No edit summary undo

16 April 2024

• curprev 15:0215:02, 16 April 2024 ElskverdigHug talk contribs 28,279 bytes +224 No edit summary undo

14 March 2024

• curprev 12:2912:29, 14 March 2024 Thiagovscoelho talk contribs 28,055 bytes +10 Common reading of ∃ undo

29 February 2024

• curprev 21:4521:45, 29 February 2024 Mindmatrix talk contribs m 28,045 bytes −3 Reverted edit by 117.244.18.34 (talk) to last version by Bruce1ee undo Tag: Rollback
• curprev 15:5215:52, 29 February 2024 117.244.18.34 talk 28,048 bytes +3 no one undo Tags: Reverted Visual edit

7 January 2024

• curprev 15:2215:22, 7 January 2024 Bruce1ee talk contribs m 28,045 bytes +126 fixed lint errors – missing end tag undo
• curprev 15:0915:09, 7 January 2024 ElskverdigHug talk contribs 27,919 bytes −56 corrected a minor mistake (I think that's it for today, hope i have helped) undo
• curprev 15:0515:05, 7 January 2024 ElskverdigHug talk contribs 27,975 bytes +1,306 again, just trying to improve the page's aesthetics and useful information (i'm bored) undo
• curprev 13:5113:51, 7 January 2024 ElskverdigHug talk contribs 26,669 bytes +296 just completing the squares with missing information undo
• curprev 11:5711:57, 7 January 2024 ElskverdigHug talk contribs 26,373 bytes +1,135 No edit summary undo
• curprev 07:3907:39, 7 January 2024 ElskverdigHug talk contribs 25,238 bytes +880 I made everything in the basic symbols table look more neat. I also removed ■ and □ for the ⊤ and ⊥ sections, because no one uses ■ or □ to denote ⊤ or ⊥. But feel free to add them back if you feel differently about them. undo Tag: Disambiguation links added

6 January 2024

• curprev 19:4019:40, 6 January 2024 ElskverdigHug talk contribs m 24,358 bytes +252 changed my mind on removing ■ and □, I added them back undo
• curprev 18:3318:33, 6 January 2024 ElskverdigHug talk contribs 24,106 bytes +210 Changed the ↔≡ order to match →⊃. Swapped the order of ⊻ and ↮ to be consistent with "Glossary of mathematical symbols". Removed ■ and □ because it's subjective (many would say white (lighted up) means T and black (lights off) means F). Added additional comments on ∃! and ⊬. undo

4 January 2024

• curprev 14:4114:41, 4 January 2024 ElskverdigHug talk contribs 23,896 bytes +621 I moved the ⊬ and ⊭ to the basic symbols because these are quite common. I moved ∴ and ∵ too because they are in the "common logic symbols" slider at the bottom. Perhaps the biggest change is moving □ and ◇. I decided to move those because, contrary to the symbols in the "advanced and rare" section which are almost never used, the use of □ and ◇ is pretty standard in any modal logic. Also modal logic is very popular in philosophy. I think it's well deserving for □ and ◇ to be there. undo
• curprev 12:2112:21, 4 January 2024 ElskverdigHug talk contribs m 23,275 bytes +339 I added the symbols ⟚ and ⊩, changed the quotation marks to curly instead of straight (“example”) and removed a redundant entry for the □ modal operator. undo

23 December 2023

• curprev 21:2921:29, 23 December 2023 Maxximmillian talk contribs 22,936 bytes +45 No edit summary undo Tags: Mobile edit Mobile app edit Android app edit

16 December 2023

• curprev 03:2903:29, 16 December 2023 Rubrix97 talk contribs m 22,891 bytes +1 No edit summary undo

4 December 2023

• curprev 03:1603:16, 4 December 2023 AlphabeticThing9 talk contribs 22,890 bytes +7,504 Undoing for now until there is further discussion undo Tags: Undo nowiki added
• curprev 03:1003:10, 4 December 2023 AlphabeticThing9 talk contribs 15,386 bytes −7,504 →Advanced and rarely used logical symbols: Many of these appear to be incorrect. No citation for 15 years now at least. Better to just get rid of it. undo Tag: Reverted

24 November 2023

• curprev 14:3114:31, 24 November 2023 145.90.130.127 talk 22,890 bytes +357 Undid malicious revision 1186612012 by 90.145.143.41 (talk) undo Tag: Undo
• curprev 10:1610:16, 24 November 2023 90.145.143.41 talk 22,533 bytes −357 No edit summary undo Tags: Reverted Visual edit

9 November 2023

• curprev 11:4111:41, 9 November 2023 147.188.245.196 talk 22,890 bytes +36 Polish natation uses bigwedge and bigvee, not wedge and vee. undo

30 October 2023

• curprev 12:2312:23, 30 October 2023 GMH Melbourne talk contribs m 22,854 bytes −82 Reverted edits by Nermintheking (talk) (AV) undo Tags: AntiVandal Rollback
• curprev 12:2112:21, 30 October 2023 Nermintheking talk contribs m 22,936 bytes +82 No edit summary undo Tags: Reverted Mobile edit Mobile app edit iOS app edit

6 October 2023

• curprev 17:1917:19, 6 October 2023 IntentionallyDense talk contribs m 22,854 bytes −2 v2.05b - Fix errors for CW project (Link with encoded space) undo Tag: WPCleaner

9 September 2023

• curprev 18:5118:51, 9 September 2023 2600:1700:4630:6c1f:2527:8a1b:5e6a:c8b8 talk 22,856 bytes −2 No edit summary undo Tags: Mobile edit Mobile app edit iOS app edit

7 June 2023

• curprev 04:4804:48, 7 June 2023 86.4.208.159 talk 22,858 bytes +7 →Basic logic symbols undo

28 May 2023

• curprev 20:0720:07, 28 May 2023 Evenite talk contribs m 22,851 bytes −12 No edit summary undo Tags: Visual edit Mobile edit Mobile web edit

21 May 2023

• curprev 01:5101:51, 21 May 2023 Mindmatrix talk contribs m 22,863 bytes 0 Reverted edits by 14.0.156.198 (talk) to last version by Matthiaspaul undo Tag: Rollback

20 May 2023

• curprev 01:5601:56, 20 May 2023 14.0.156.198 talk 22,863 bytes 0 No edit summary undo Tags: Reverted Visual edit

18 May 2023

• curprev 13:0213:02, 18 May 2023 Matthiaspaul talk contribs 22,863 bytes +8 →Advanced and rarely used logical symbols: +links undo

5 May 2023

• curprev 22:0122:01, 5 May 2023 Shinra42 talk contribs m 22,855 bytes 0 Fixed link to 'similar signs' for therefore and because symbols. undo

26 April 2023

• curprev 06:5806:58, 26 April 2023 Galobtter talk contribs 22,855 bytes −16 →Basic logic symbols: remove styling that doesn't do anything undo Tag: 2017 wikitext editor

12 April 2023

• curprev 13:0213:02, 12 April 2023 BrokenFlyer talk contribs m 22,871 bytes −35 Moved LaTeX notation writing for RIGHT FISH TAIL from cell "Explanation" into cell "LaTeX symbol" undo Tag: Visual edit

27 March 2023

• curprev 12:5612:56, 27 March 2023 AnomieBOT talk contribs m 22,906 bytes +32 Dating maintenance tags: {{Citation needed}} undo