The Sandbox Web of TWiki. TWiki is an Enterprise Collaboration Platform. http://zillion.homelinux.com/twiki/bin/view/Sandbox Copyright 2009 by contributing authors 2009-11-22T12:15:27Z http://zillion.homelinux.com/twiki/bin/view/Sandbox/TestTopic4 2009-11-22T12:15:27Z

98.6\textdegree F textdegree\\ $\blacksquare$ blacksquare\\ $\ulcorner\alpha\urcorner$ Quine corners\\ $\infty$ infinity\\ $\aleph$ aleph\\ $\beth$ beth\\ $\exists ... (last changed by TWikiGuest)

TWikiGuest http://zillion.homelinux.com/twiki/bin/view/Sandbox/TestTopic16 2009-11-21T01:40:34Z

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$% ... (last changed by TWikiGuest)

TWikiGuest http://zillion.homelinux.com/twiki/bin/view/Sandbox/WebStatistics 2009-11-20T21:15:23Z

Statistics for nop Sandbox Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save ... (last changed by TWikiGuest)

TWikiGuest http://zillion.homelinux.com/twiki/bin/view/Sandbox/TestTopic17 2009-11-17T00:39:06Z

True is \top: %$\top\text{\quad}$% false is \bot: %$\bot$% %$A\top\bot B\top\bot\top\bot$% ShaughanLavine 07 Jul 2009 (last changed by TWikiGuest)

TWikiGuest http://zillion.homelinux.com/twiki/bin/view/Sandbox/TestTopic11 2009-11-16T09:58:17Z

$ 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 ... (last changed by TWikiGuest)

TWikiGuest http://zillion.homelinux.com/twiki/bin/view/Sandbox/TestTopic6 2009-11-15T21:47:15Z

%$\square P$% square %$\lozenge P$% lozenge .TWikiPreferences TestTopic6 ShaughanLavine 26 Aug 2008 (last changed by TWikiGuest)

TWikiGuest http://zillion.homelinux.com/twiki/bin/view/Sandbox/LatexModePluginGreaterBug 2009-11-05T02:18:46Z

Before and after fix, left % nop \ \textgreater\ % right% nop BR%test text correctly produced: left %\ \textgreater\ % righttest text Before fix, left % nop ... (last changed by TWikiGuest)

TWikiGuest http://zillion.homelinux.com/twiki/bin/view/Sandbox/TestTopic22 2009-11-05T02:12:35Z

Sandbox.WebHome . %$(A\Rightarrow A)$% TWikiAdminGroup 05 Oct 2009 (last changed by TWikiGuest)

TWikiGuest http://zillion.homelinux.com/twiki/bin/view/Sandbox/TestTopic1 2009-11-05T02:10:18Z

Full Schemas and Categoricity FullSchemasandCategoricityHandout Thanks Thanks for inviting me. Full Schemas and Categoricity What I intend to do today is introduce ... (last changed by TWikiGuest)

TWikiGuest http://zillion.homelinux.com/twiki/bin/view/Sandbox/TestTopic2 2009-11-05T02:10:15Z

%$A$% (last changed by TWikiGuest)

TWikiGuest http://zillion.homelinux.com/twiki/bin/view/Sandbox/TestTopic12 2009-11-05T02:10:01Z

$ 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 ... (last changed by TWikiGuest)

TWikiGuest http://zillion.homelinux.com/twiki/bin/view/Sandbox/TestTopic14 2009-11-05T02:09:57Z

$ 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 ... (last changed by TWikiGuest)

TWikiGuest http://zillion.homelinux.com/twiki/bin/view/Sandbox/TestTopic13 2009-11-05T02:09:54Z

$ 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 ... (last changed by TWikiGuest)

TWikiGuest http://zillion.homelinux.com/twiki/bin/view/Sandbox/TestTopic3 2009-11-05T01:40:30Z

%$\to\neg$% (last changed by TWikiGuest)

TWikiGuest http://zillion.homelinux.com/twiki/bin/view/Sandbox/TestTopic10 2009-11-02T20:14:41Z

A derivation (or proof) of %$\phi$% from %$\Gamma$% is a finite sequence of inferences %$\Sigma {i}\vdash\phi {i}$% such that the last one is %$\Gamma\vdash\phi%$ ... (last changed by TWikiGuest)

TWikiGuest http://zillion.homelinux.com/twiki/bin/view/Sandbox/TestTopic8 2009-10-30T02:21:26Z

1. Punctuate the following sentences so that they are true:I am Shaughan. My name is Shaughan. My name's name is Shaughan, and it begins with a single quotation mark ... (last changed by TWikiGuest)

TWikiGuest