Turnstile (symbol): Revision history

1 April 2024

• curprev 17:5617:56, 1 April 2024‎ 24.43.142.162 talk‎ 10,469 bytes +178‎ Added model theory interpretation. undo Tag: Visual edit

28 March 2024

• curprev 18:4618:46, 28 March 2024‎ Oneequalsequalsone talk contribs‎ m 10,291 bytes −1‎ →‎See also: remove rendered math and use unicode point undo Tag: 2017 wikitext editor

24 March 2024

• curprev 05:0705:07, 24 March 2024‎ David Eppstein talk contribs‎ 10,292 bytes −6‎ →‎References: fix two broken refs undo

7 January 2023

• curprev 20:3220:32, 7 January 2023‎ 37.113.164.93 talk‎ 10,298 bytes +6‎ No edit summary undo

14 November 2022

• curprev 04:4504:45, 14 November 2022‎ Complaren talk contribs‎ m 10,292 bytes −19‎ →‎Interpretations: Casio undo

15 June 2022

• curprev 21:3121:31, 15 June 2022‎ Novemberjazz talk contribs‎ m 10,311 bytes −4‎ spacing fix undo Tag: Visual edit

20 April 2022

• curprev 08:4708:47, 20 April 2022‎ WikiLinuz talk contribs‎ 10,315 bytes +51‎ add short description undo

25 March 2022

• curprev 09:4309:43, 25 March 2022‎ JuguangXiao talk contribs‎ 10,264 bytes +154‎ →‎Typography undo
• curprev 09:3609:36, 25 March 2022‎ JuguangXiao talk contribs‎ 10,110 bytes +21‎ →‎Typography undo
• curprev 09:0409:04, 25 March 2022‎ JuguangXiao talk contribs‎ 10,089 bytes +104‎ No edit summary undo

28 January 2022

• curprev 12:1312:13, 28 January 2022‎ BattyBot talk contribs‎ m 9,985 bytes −5‎ →‎Interpretations: Fixed CS1 errors: extra text: volume and general fixes undo Tag: AWB

15 January 2022

• curprev 19:5919:59, 15 January 2022‎ VladimirReshetnikov talk contribs‎ 9,990 bytes +57‎ →‎Similar graphemes undo

7 January 2022

• curprev 09:0909:09, 7 January 2022‎ Andres talk contribs‎ m 9,933 bytes 0‎ →‎Interpretations undo

29 November 2021

• curprev 17:4417:44, 29 November 2021‎ Cyberixae talk contribs‎ 9,933 bytes +259‎ Turned sequent calculus links into a bullet undo

27 October 2021

• curprev 22:4622:46, 27 October 2021‎ BrownHairedGirl talk contribs‎ 9,674 bytes +234‎ Filled in 6 bare reference(s) with reFill 2 undo
• curprev 22:4222:42, 27 October 2021‎ Citation bot talk contribs‎ 9,440 bytes −6‎ Alter: template type. | Use this bot. Report bugs. | Suggested by BrownHairedGirl | Linked from User:BrownHairedGirl/Articles_with_bare_links | #UCB_webform_linked 630/648 undo

18 September 2021

• curprev 20:5020:50, 18 September 2021‎ Ira Leviton talk contribs‎ m 9,446 bytes 0‎ Replaced outdated html codes with wikicodes. Please see Category:Articles with HTML markup. undo

15 February 2021

• curprev 18:4118:41, 15 February 2021‎ 173.67.230.249 talk‎ 9,446 bytes −2‎ →‎Interpretations undo

14 January 2021

• curprev 18:5318:53, 14 January 2021‎ Yobot talk contribs‎ m 9,448 bytes 0‎ →‎Interpretations: References after punctuation per WP:REFPUNCT, WP:CITEFOOT, WP:PAIC + other fixes undo Tag: AWB

3 January 2021

• curprev 00:3900:39, 3 January 2021‎ Monkbot talk contribs‎ m 9,448 bytes −79‎ Task 18 (cosmetic): eval 8 templates: del empty params (4×); del |ref=harv (5×); undo Tag: AWB

24 December 2020

• curprev 19:0419:04, 24 December 2020‎ Jol1411 talk contribs‎ 9,527 bytes +1,052‎ →‎Interpretations: Include turnstyle symbol's usage as modulo operator on certain Casio calculator models undo Tag: Visual edit

1 December 2020

• curprev 16:2616:26, 1 December 2020‎ 74.80.63.99 talk‎ 8,475 bytes 0‎ Switched order of F and G for presentation, so that F is always the left adjoint. undo

28 September 2020

• curprev 21:4421:44, 28 September 2020‎ 2600:8802:100:56e:985d:6220:b5ff:ba80 talk‎ 8,475 bytes 0‎ →‎Interpretations undo

1 September 2020

• curprev 08:0608:06, 1 September 2020‎ 131.130.49.156 talk‎ 8,475 bytes −131‎ The article claimed that the symbol was first used by Frege in the Begriffsschrift. This is, in fact, not the case. Frege is writing pre the standardisation of logical notation, so uses his own notation. The way he marks deductions has some visual similarities to the single tunrstile, but it is not the single turnstile. It involves a series of indentations that one would never see attached to the single turnstile. In short, the claim was wrong so I removed it. undo Tag: references removed

11 August 2019

• curprev 12:4212:42, 11 August 2019‎ 1234qwer1234qwer4 talk contribs‎ 8,606 bytes +3‎ →‎Similar glyphs: glyphs are font-dependent undo

10 March 2019

• curprev 13:2513:25, 10 March 2019‎ Paradoctor talk contribs‎ m 8,603 bytes +21‎ →‎Interpretations: +anchor undo

11 February 2019

• curprev 05:1005:10, 11 February 2019‎ Paradoctor talk contribs‎ 8,582 bytes +10‎ →‎Interpretations: hide disambiguator undo

19 December 2018

• curprev 04:1204:12, 19 December 2018‎ Magic links bot talk contribs‎ m 8,572 bytes +4‎ Replace magic links with templates per local RfC and MediaWiki RfC undo

18 December 2018

• curprev 17:2217:22, 18 December 2018‎ 67.198.37.16 talk‎ 8,568 bytes +5‎ →‎Interpretations: missing word undo
• curprev 17:1717:17, 18 December 2018‎ 67.198.37.16 talk‎ 8,563 bytes +813‎ →‎Interpretations: contrast to semantic equivalence undo
• curprev 16:4816:48, 18 December 2018‎ 67.198.37.16 talk‎ 7,750 bytes +3‎ →‎Interpretations: formating, indentation undo
• curprev 16:4616:46, 18 December 2018‎ 67.198.37.16 talk‎ 7,747 bytes +31‎ move section on epistomology to section on "interpretations" undo

17 August 2018

• curprev 17:1017:10, 17 August 2018‎ Bender235 talk contribs‎ m 7,716 bytes +92‎ No edit summary undo

12 April 2018

• curprev 01:4401:44, 12 April 2018‎ 49.198.229.245 talk‎ 7,624 bytes −45‎ distinguish undo

11 March 2018

• curprev 23:0923:09, 11 March 2018‎ Ancheta Wis talk contribs‎ 7,669 bytes +34‎ →‎Interpretations: make the citation readable undo
• curprev 23:0523:05, 11 March 2018‎ Ancheta Wis talk contribs‎ 7,635 bytes +53‎ →‎Interpretations: make the citation readable undo
• curprev 23:0223:02, 11 March 2018‎ Ancheta Wis talk contribs‎ 7,582 bytes +25‎ →‎Interpretations: make the citation readable undo
• curprev 22:5922:59, 11 March 2018‎ Ancheta Wis talk contribs‎ 7,557 bytes −18‎ Undid revision 829966813 by 129.45.61.41 (talk) The change breaks the link to the markup undo Tag: Undo
• curprev 22:2722:27, 11 March 2018‎ 129.45.61.41 talk‎ 7,575 bytes +18‎ →‎Similar glyphs undo

8 January 2018

• curprev 23:5223:52, 8 January 2018‎ Matthiaspaul talk contribs‎ 7,557 bytes +39‎ →‎Similar glyphs: +entry undo
• curprev 17:3617:36, 8 January 2018‎ Matthiaspaul talk contribs‎ 7,518 bytes +178‎ →‎Similar glyphs: +links undo

4 January 2018

• curprev 08:4808:48, 4 January 2018‎ Matthiaspaul talk contribs‎ 7,340 bytes +31‎ →‎Interpretations: +link undo

3 January 2018

• curprev 20:2720:27, 3 January 2018‎ Matthiaspaul talk contribs‎ 7,309 bytes +560‎ →‎Interpretations: mentioned usage in HP calculators undo

21 December 2017

• curprev 12:4712:47, 21 December 2017‎ Matthiaspaul talk contribs‎ m 6,749 bytes 0‎ →‎Similar glyphs: -typo undo
• curprev 12:4612:46, 21 December 2017‎ Matthiaspaul talk contribs‎ 6,749 bytes +133‎ Mentioned similar looking glyphs, improved refs undo
• curprev 08:0608:06, 21 December 2017‎ AnomieBOT talk contribs‎ m 6,616 bytes +19‎ Dating maintenance tags: {{Linkrot}} undo
• curprev 07:4507:45, 21 December 2017‎ Matthiaspaul talk contribs‎ 6,597 bytes +11‎ +linkrot undo

14 June 2017

• curprev 19:3319:33, 14 June 2017‎ Omnipaedista talk contribs‎ 6,586 bytes −1‎ standardized punct. undo
• curprev 19:3119:31, 14 June 2017‎ Omnipaedista talk contribs‎ 6,587 bytes +411‎ add citation undo

26 May 2017

• curprev 09:1009:10, 26 May 2017‎ Cedar101 talk contribs‎ m 6,176 bytes +32‎ {{mvar}} undo