Welcome to the Sandbox web

The Sandbox web is the sandbox you can use for testing. Everybody is welcome to add or delete some stuff. It is recommended to walk through the TWikiTutorial to get a jumpstart on the TWiki tool. A good rule of thumb is to add at the end of the page and sign and date it with your WikiName.

Test Topics

Create a new document by name: (Use a topic name in WikiNotation)
 

Create a new auto-numbered test topic:

Recently changed topics

TestTopic16

Add to our list of symbols infinitely many %$n$% placed predicate variables for each natural number %$n$%. Add to the definition of formula: If %$X$% is an %$n$% ...
21 Nov 2009 - 01:40 - TWikiGuest

WebStatistics

Statistics for nop Sandbox Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save ...
20 Nov 2009 - 21:15 - TWikiGuest

TestTopic17

True is \top: %$\top\text{\quad}$% false is \bot: %$\bot$% %$A\top\bot B\top\bot\top\bot$% ShaughanLavine 07 Jul 2009
17 Nov 2009 - 00:39 - TWikiGuest

TestTopic11

$ Reflexivity of %$ $%: %$\Gamma\vdash t t$%, where %$t$% is a constant symbol or a variable. $ Transitivity of %$ $%: %\Gamma , r s,s t\vdash r t$%, where %$r ...
16 Nov 2009 - 09:58 - TWikiGuest

TestTopic6

%$\square P$% square %$\lozenge P$% lozenge .TWikiPreferences TestTopic6 ShaughanLavine 26 Aug 2008
15 Nov 2009 - 21:47 - TWikiGuest

LatexModePluginGreaterBug

Before and after fix, left % nop \ \textgreater\ % right% nop BR%test text correctly produced: left %\ \textgreater\ % righttest text Before fix, left % nop ...
05 Nov 2009 - 02:18 - TWikiGuest

TestTopic22

Sandbox.WebHome . %$(A\Rightarrow A)$% TWikiAdminGroup 05 Oct 2009
05 Nov 2009 - 02:12 - TWikiGuest

Sandbox Web Utilities

• Set ALLOWTOPICCHANGE = TWikiAdminGroup