753 reputation
214
bio website
location Germany
age
visits member for 1 year, 6 months
seen Apr 26 at 18:05
stats profile views 23

May
11
awarded  Notable Question
Apr
25
awarded  Popular Question
Apr
17
awarded  Popular Question
Apr
2
comment Collect the input of all \TODO commands used in the document at the end
Looks interesting, but it yielded just a list of numbers, but no text for me. I'll be using Sam Whited's answer, since it is shorter.
Apr
2
accepted Collect the input of all \TODO commands used in the document at the end
Apr
2
asked Collect the input of all \TODO commands used in the document at the end
Feb
18
comment Correct symbol for the Laplace operator ($\Delta$)
@HendrikVogt: So what about (cylindrical polar coordinates) radius \rho and charge density \rho? Would not it improve the situation if I use \rho and \varrho consistently instead of inventing a non-standard symbol?
Feb
18
awarded  Popular Question
Jan
26
accepted Sans font to go with Bitstream Charter
Jan
26
accepted Arcs on a plane in 3-D drawing
Jan
26
comment Bold , italic (and sans-serif) math symbols
The latter works great, even with greek letters. Thank you!
Jan
26
comment Bold , italic (and sans-serif) math symbols
There is a brace } missing at the end of the \newcommand-line. I cannot edit it since it is just a single char.
Jan
26
accepted Bold , italic (and sans-serif) math symbols
Jan
1
comment big document — collaboration
@FedericoPoloni You will need some way to get the changes from the other people. This can be GitHub, your own server with SSH access, local network with SSH or running around with thumbdrives. Dropbox is just a way to get the files across, not for source code management itself.
Dec
31
comment big document — collaboration
Try git with Dropbox. You need to create different folders for each person and let them push only to their folders.
Dec
31
comment big document — collaboration
Last time I tested, it did not work with plain FTP, at least not with my FTP server.
Dec
31
comment big document — collaboration
I currently do a some 200 page document with 10 people. I am the only one that uses git, all others have to confine themselves to a single file. If you have the time (and power), require everybody to use git (or Bazaar or Mercurial), it is definitly worth it! If you only have a FTP server, Bazaar might be better than git, since Bazaar can push to FTP, whereas git cannot. Bazaar is easier to install on Windows as well.
Dec
25
awarded  Nice Answer
Dec
24
comment How can I get Roman numerals in text?
@StefanKottwitz: That is why I do not use Roman numbers in the first place :-)
Dec
24
comment Distance between related, but separate math terms
Okay, that sounds canonical. Do you know about German standards?