Double turnstile: 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 15:3215:32, 15 April 2024‎ EnTerbury talk contribs‎ 3,604 bytes +17‎ No edit summary undo Tag: Visual edit

curprev 00:3700:37, 10 March 2024‎ BD2412 talk contribs‎ m 3,587 bytes −3‎ clean up spacing around commas and other punctuation fixes, replaced: , → , undo Tag: AWB

curprev 04:4904:49, 12 February 2024‎ Thatsme314 talk contribs‎ 3,590 bytes 0‎ ⊨ is \vDash, ⊢ is \vdash undo
curprev 04:4604:46, 12 February 2024‎ Thatsme314 talk contribs‎ 3,590 bytes +42‎ Importing Wikidata short description: "Mathematical symbol" undo Tag: Shortdesc helper

curprev 15:3415:34, 11 January 2024‎ CelebratedWhales talk contribs‎ 3,548 bytes −16‎ Corrected the double turnstile to ⊢ undo Tag: Visual edit

curprev 11:1411:14, 25 March 2022‎ JuguangXiao talk contribs‎ 3,564 bytes +39‎ →‎See also undo
curprev 08:5308:53, 25 March 2022‎ JuguangXiao talk contribs‎ m 3,525 bytes +64‎ →‎Typography undo

curprev 17:3917:39, 6 February 2022‎ ಮಲ್ನಾಡಾಚ್ ಕೊಂಕ್ಣೊ talk contribs‎ m 3,461 bytes +8‎ Replaced obsolete tt tags and reduced Lint errors undo

curprev 03:2003:20, 5 January 2022‎ C7XWiki talk contribs‎ 3,453 bytes +372‎ No edit summary undo

curprev 18:2418:24, 30 August 2021‎ 173.206.64.160 talk‎ 3,081 bytes +91‎ →‎Meaning undo

curprev 23:1823:18, 3 February 2021‎ Ravenpuff talk contribs‎ 2,990 bytes +52‎ →‎top: Better hatnote undo

curprev 20:2520:25, 2 February 2021‎ Blablubbs talk contribs‎ m 2,938 bytes +129‎ Reverted edits by 123.20.254.165 (talk) (HG) (3.4.10) undo Tag: Rollback
curprev 20:2420:24, 2 February 2021‎ 123.20.254.165 talk‎ 2,809 bytes −129‎ No edit summary undo Tags: Reverted Visual edit Mobile edit Mobile web edit

curprev 06:3006:30, 25 January 2020‎ 2404:7a81:85a1:1300:e5e7:dd9d:cb24:ef3c talk‎ 2,938 bytes +218‎ →‎Meaning undo

curprev 04:1204:12, 25 February 2018‎ VladimirReshetnikov talk contribs‎ 2,720 bytes −16‎ Those TeX commands look identical undo

curprev 17:1017:10, 6 January 2018‎ Chadyoung talk contribs‎ m 2,736 bytes +4‎ added wiki link undo
curprev 17:0917:09, 6 January 2018‎ Chadyoung talk contribs‎ m 2,732 bytes +4‎ added wiki link undo

curprev 10:4810:48, 1 March 2017‎ 132.72.153.209 talk‎ 2,728 bytes +87‎ the specific relation to the turnstile had to be made clear (that the difference between these two is, that one denotes semantic and the other syntactic consequence/entailment). undo Tag: Visual edit

curprev 23:2023:20, 12 January 2017‎ Tankparksalute talk contribs‎ m 2,641 bytes +1‎ No edit summary undo

curprev 15:1815:18, 24 September 2016‎ Paradoctor talk contribs‎ 2,640 bytes −1‎ →‎top: copyedit, forestall potential confusion undo
curprev 15:1715:17, 24 September 2016‎ Paradoctor talk contribs‎ 2,641 bytes +18‎ moved typography out of lead undo

curprev 00:0800:08, 30 May 2016‎ GrahamHardy talk contribs‎ m 2,623 bytes −41‎ - defsort undo

curprev 08:3908:39, 15 September 2015‎ 78.67.213.26 talk‎ 2,664 bytes +29‎ This one gets pretty confusing when italic. undo

curprev 11:3611:36, 18 October 2014‎ Hyacinth talk contribs‎ 2,635 bytes +17‎ →‎References: {{Common logical symbols}} undo

curprev 05:2705:27, 3 October 2014‎ David Eppstein talk contribs‎ 2,618 bytes +17‎ →‎top: link Model theory undo

curprev 03:4003:40, 5 May 2014‎ 2a01:e35:2eb3:bb10:db2:80c7:e630:87c4 talk‎ 2,601 bytes +5‎ No edit summary undo

curprev 06:1006:10, 25 August 2013‎ Jason Quinn talk contribs‎ 2,596 bytes 0‎ WP:ORDER fix undo

curprev 19:5719:57, 8 April 2013‎ Yobot talk contribs‎ m 2,596 bytes +2‎ WP:CHECKWIKI error fixes using AWB (9075) undo

curprev 19:1519:15, 7 April 2013‎ Tbvdm talk contribs‎ m 2,594 bytes −2‎ typo undo

curprev 23:1923:19, 29 March 2013‎ Xqbot talk contribs‎ m 2,596 bytes +33‎ Robot: Adding missing <references /> tag undo
curprev 19:3119:31, 29 March 2013‎ Javalenok talk contribs‎ 2,563 bytes +261‎ meaning: stronger undo

curprev 04:5304:53, 12 March 2013‎ Leon... talk contribs‎ m 2,302 bytes +9‎ →‎Meaning: Changed \phi to \varphi to avoid confusion with the empty set. undo

curprev 02:0202:02, 3 December 2012‎ Gregbard talk contribs‎ 2,293 bytes +10‎ logic template undo
curprev 00:4200:42, 3 December 2012‎ Plastikspork talk contribs‎ 2,283 bytes +31‎ →‎See also: Add list undo
curprev 00:3800:38, 3 December 2012‎ Plastikspork talk contribs‎ 2,252 bytes +44‎ Add see also undo
curprev 00:3300:33, 3 December 2012‎ SporkBot talk contribs‎ m 2,208 bytes −49‎ Remove template per TFD outcome undo

curprev 11:0911:09, 22 November 2012‎ Gregbard talk contribs‎ 2,257 bytes +33‎ added Category:Logical consequence using HotCat undo

curprev 16:3116:31, 21 November 2012‎ DePiep talk contribs‎ 2,224 bytes +7‎ fmt unicode undo
curprev 11:1611:16, 21 November 2012‎ Gregbard talk contribs‎ m 2,217 bytes −2‎ Template:Logical symbols using AWB undo
curprev 07:2107:21, 21 November 2012‎ Gregbard talk contribs‎ 2,219 bytes +51‎ temp undo
curprev 04:0504:05, 21 November 2012‎ Gregbard talk contribs‎ 2,168 bytes +7‎ new key for Category:Logic symbols: "Double" using HotCat undo

curprev 22:4222:42, 10 November 2012‎ Gregbard talk contribs‎ 2,161 bytes +190‎ →‎Meaning undo
curprev 22:3522:35, 10 November 2012‎ Gregbard talk contribs‎ m 1,971 bytes +116‎ Logical consequence using AWB undo

curprev 18:0918:09, 29 August 2012‎ David Eppstein talk contribs‎ 1,855 bytes +5‎ stub sort undo

curprev 22:0122:01, 24 July 2012‎ 62.158.154.130 talk‎ 1,850 bytes +7‎ No edit summary undo

curprev 13:1513:15, 24 June 2012‎ Dbmag9 talk contribs‎ 1,843 bytes +510‎ added information about \models, and a bit on the usages of the two symbols undo

curprev 17:0317:03, 13 June 2012‎ GPHemsley talk contribs‎ 1,333 bytes +50‎ +{{math-stub}}; +{{logic-stub}}; +{{typography-stub}} undo

curprev 22:5822:58, 22 February 2012‎ Cydebot talk contribs‎ m 1,283 bytes −2‎ Robot - Moving category Logical symbols to Category:Logic symbols per CFD at Wikipedia:Categories for discussion/Log/2012 February 15. undo

curprev 01:4701:47, 27 January 2012‎ Paul A talk contribs‎ 1,285 bytes 0‎ markup repair undo

curprev 02:5502:55, 26 January 2012‎ Arthur Rubin talk contribs‎ 1,285 bytes +34‎ →‎Meaning: Sort under T; should be adjacent to "Turnstile" in categories undo

15 April 2024

10 March 2024

12 February 2024

11 January 2024

25 March 2022

6 February 2022

5 January 2022

30 August 2021

3 February 2021

2 February 2021

25 January 2020

25 February 2018

6 January 2018

1 March 2017

12 January 2017

24 September 2016

30 May 2016

15 September 2015

18 October 2014

3 October 2014

5 May 2014

25 August 2013

8 April 2013

7 April 2013

29 March 2013

12 March 2013

3 December 2012

22 November 2012

21 November 2012

10 November 2012

29 August 2012

24 July 2012

24 June 2012

13 June 2012

22 February 2012

27 January 2012

26 January 2012