Sand Box

Try editing here by selecting the little “Edit this Page” link at the bottom of the page. It’s right down the bottom right corner.

You can make headings:

Big Heading

Little Heading

and formatting with emphasis or bold or underlines (though I tend to not like the overuse of bold or underlines. Italics will do when a little emphasis is necessary).

You can link to other pages on the wiki like Home or the Sand Box or the page for Greg. Or you can make a link to the outside world just by typing the URL: http://www.philosophy.unimelb.edu.au/ajl/ or by writing a description.

Mathematical symbols

There are even some elementary mathematical symbols that you can type up and display. Edit this page to see how you can type them.

• p → q
• (p ⊃ ((p ⊃ q) ⊃ q))
• p ∧ (~ q ∨ r) ⊢ ~(~ p ∨ (q ∧ ~ r))
• If Γ ⊢ A, Δ then Γ, ¬A ⊢ Δ.
• α, β, γ, δ, ε.
• If x ⊩ □ p and x ⊩ □ q then x ⊩ □(p ∧ q).
• If for each y where xRy, y ⊮ p then x ⊮ ◇ p.
• (∀ x)(xRy ⊃ x ≠ y)

The formatting should work if your browser can display unicode characters. It has been checked on Safari 1.2 and Firefox 1.0, both on Mac OS X version 10.3. I’d appreciate comments about how it works on other platforms.

Tables

Here’s a truth table:

And here’s a tree:

Signature

You can “sign” some text by typing four “+” signs in a row, like this: — Greg 2005-03-02 04:58 UTC

When you submit the form, it will be converted to your username and a datestamp.

What if you actually want to write four plusses in a row, for some reason? Prefix it with an exclamation mark: ++++ (edit this page to see what I mean.)

Try it yourself, to see.

Images

You can upload images (try “replace this text with a file” on a new page), and then refer to them like this: