User talk:Florian Brucker

Welcome
Since you already have a handle on how things go I'll skip the usual speech. Welcome to ProofWiki!

Cheers, Joe (talk)

pardon me
I'm a bit of a meddler. You don't mind me reformatting some of the stuff you done? Like, put line breaks here and there mainly. I find it makes it easy (or easier) to read. --Matt Westwood 21:25, 25 January 2010 (UTC)

lovely work
... note that you don't need the "subpagename" in the category of "Proofs", just "Definitions". It's there so as to allow dictionary sorting on the bit in the title after the colon, otherwise everything would appear under "D" in the directory listings. Of course, with proofs there is no colon in the title, so the subpagename is not needed.

Let me know if you specifically object to me changing certain minor aspects of the notation you use. We're trying to evolve towards a house style. A specific one I can call to mind being using $$:$$ instead of $$|$$ for set specifications. It's less prone to ambiguity, especially when you've got modulus signs etc. in the specification part: $$\left\{{z \in \C | |z| > 2}\right\}$$, for example, is unsightly! --Matt Westwood 16:45, 26 January 2010 (UTC)

style
We don't actually have a style guide. Style has evolved in the past couple of years. I suppose I am the one who has had most influence on it, as it so happens that most of the entries on this site (I haven't worked out the exact proportion, but probably about 90%) were done by me, and hence that's what the style has become by default.

We will write some guidelines some day. They will probably include things like:
 * 1) Every concept must be defined and linked to. If it doesn't exist (and you don't have time to put it in yourself), then there is nothing wrong with putting a link to a non-existent page - someone will fill it in eventually.
 * 2) Start each point (which in this context usually means "sentence") on a new line.
 * 3) Keep sentences as short as possible.
 * 4) If there is more than one symbol for something, then try and use the most up-to-date and unambiguous notation possible. Try and avoid the $$\mathfrak{FRAKTUR}$$ font as that is difficult to read and reproduce.
 * 5) There was something else I was going to mention then, but I forget it now.

I love your work.--Matt Westwood 20:06, 29 January 2010 (UTC)

Oh yes, and we do have this page: Help:Contents --Matt Westwood 20:14, 29 January 2010 (UTC)