User talk:PageWizard

From ProofWiki
Jump to navigation Jump to search


Welcome to ProofWiki! Since you're new, you may want to check out the general help page. It's the best first stop to see how things are done (next to reading proofs, of course!). Please feel free to contribute to whichever area of mathematics interests you, either by adding new proofs, or fixing up existing ones. If you have any questions please feel free to contact me, or post your question on the questions page.

Here are some useful pages to help get you started:

  • Community Portal - To see what needs to be done, and keep up to date with the community.
  • Recent Changes - To keep up with what's new, and what's being added.
  • Main Page talk - This is where most of the main discussions regarding the direction of the site talk place. If you have any ideas, please share them!

Cheers, Cynic (talk)

LaTeX use

Fine work on your Omega and Theta notations - but a couple of guidelines ...

a) Try to keep all text outside of your "math" delimiters - I notice you tend to put "Suppose" inside the math which tries to render it as a mathematical symbol. Is there a specific reason for this BTW? (Ultimately what we need is a mathematical symbol for "Let" and "Suppose" to save us having to write it out each time, but then that would probably obscure meaning somewhat!)

b) When writing math symbols, e.g. $\exists$ and $\in$ and so on, if you enclose them in set braces, e.g. ${\exists}$ and ${\in}$ it reduces the spacing between them and the symbols flanking them - which is harder on the eye. One of our aims is a consistent look-and-feel, and while this is still evolving and subject to improvement, my view is that putting braces round symbols isn't something that needs to be done.

c) We're fussy about accents on names in our page names, viz. Bézout's Identity and so on, so be careful when searching the DB for matching entries on this sort of thing. Always check Category:Definitions to see a definition already exists, and the same for proofs as well except those might not be so easy to find.

d) Once you've entered something, expect it to be amended by someone who wants to tidy stuff up. It's usually merely a case of tidying up the presentation, but sometimes we will want to radically amend the content. We try to include the replaced work in comment delimiters in that situation. Other times we'll replace a page with a redirect to something that already exists.

e) The Logical Not issue - see the note in the Talk page Symbols talk:Symbolic Logic‎ explaining where we stand on this one. I note you've gone round in circles a bit with Cynic.

Keep up with the good work - one of my targets was to plough through Cormen etc: [1] but I'm currently painstakingly inching my way towards a proof of Godel. This will take a little time ...