List of logic symbols: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

curprev 12:5612:56, 27 March 2023‎ AnomieBOT talk contribs‎ m 22,906 bytes +32‎ Dating maintenance tags: {{Citation needed}} undo
curprev 10:5510:55, 27 March 2023‎ 134.58.46.183 talk‎ 22,874 bytes +38‎ →‎Poland and Germany: dubious claim undo

curprev 02:1802:18, 27 February 2023‎ DGerman talk contribs‎ m 22,836 bytes +291‎ A few more &ampnbsp; undo

curprev 23:4623:46, 26 February 2023‎ DGerman talk contribs‎ m 22,545 bytes +251‎ Add some to cause some "multiple words" to stay together undo

curprev 21:2221:22, 20 January 2023‎ PrzemyslawChojecki talk contribs‎ m 22,294 bytes +4‎ No edit summary undo

curprev 08:2908:29, 24 December 2022‎ Black Walnut talk contribs‎ m 22,290 bytes +11‎ →‎lead: fixed typo (missing word) undo

curprev 13:3713:37, 17 November 2022‎ Slayer087 talk contribs‎ m 22,279 bytes 0‎ →‎Basic logic symbols: use ⊕ instead of XOR in example for :⇔ undo

curprev 21:3321:33, 28 September 2022‎ Kwamikagami talk contribs‎ 22,279 bytes −30‎ →‎Poland and Germany: copyable undo

curprev 15:5715:57, 3 September 2022‎ 114.205.66.220 talk‎ 22,309 bytes 0‎ →‎Basic logic symbols: Fixed typo undo Tags: canned edit summary Mobile edit Mobile app edit Android app edit

curprev 20:2920:29, 26 August 2022‎ Mgkrupa talk contribs‎ 22,309 bytes +3‎ →‎External links undo

curprev 23:2123:21, 24 May 2022‎ Mindmatrix talk contribs‎ 22,306 bytes −843‎ rm references to Wikipedia articles - WP should not be used as a reference undo
curprev 21:2321:23, 24 May 2022‎ Amimagus talk contribs‎ 23,149 bytes −36‎ No edit summary undo Tag: Visual edit: Switched

curprev 03:4403:44, 1 May 2022‎ Cubefox talk contribs‎ 23,185 bytes +7‎ Replace "long left right arrow" with "left right arrow" undo Tags: Visual edit Mobile edit Mobile web edit
curprev 03:3903:39, 1 May 2022‎ Cubefox talk contribs‎ 23,178 bytes 0‎ Replaced "long left right arrow" with "left right arrow" undo Tags: Visual edit Mobile edit Mobile web edit

curprev 02:5502:55, 23 April 2022‎ 159.146.10.139 talk‎ 23,178 bytes +1‎ →‎top: Fixed grammar undo Tags: canned edit summary Mobile edit Mobile app edit Android app edit

curprev 03:2303:23, 5 March 2022‎ 200.68.159.92 talk‎ 23,177 bytes +51‎ →‎Advanced and rarely used logical symbols undo Tag: Visual edit

22 April 2024

16 April 2024

14 March 2024

29 February 2024

7 January 2024

6 January 2024

4 January 2024

23 December 2023

16 December 2023

4 December 2023

24 November 2023

9 November 2023

30 October 2023

6 October 2023

9 September 2023

7 June 2023

28 May 2023

21 May 2023

20 May 2023

18 May 2023

5 May 2023

26 April 2023

12 April 2023

27 March 2023

27 February 2023

26 February 2023

20 January 2023

24 December 2022

17 November 2022

28 September 2022

3 September 2022

26 August 2022

24 May 2022

1 May 2022

23 April 2022

5 March 2022