17,000 reputation
964123
bio website navarroj.com/latex
location London, United Kingdom
age 33
visits member for 3 years, 9 months
seen 11 hours ago

A computer science lecturer at University College London. I do stuff in logic, theorem proving, program analysis and verification. I'm a very enthusiastic TeX/LaTeX user, most days.

I also run a small site for LaTeX beginners in spanish: LaTeX Fácil.


Oct
14
answered How to upgrade TeXLive 2009 to TeXLive 2010
Oct
13
answered How to make a wrapper for the figure and table environments.
Oct
13
answered How do I make custom float environments use the same numbering for captions.
Oct
10
answered How to convert LaTeX in html for Blogger
Oct
8
answered How to keep up with packages and know which ones are obsolete?
Oct
8
answered End of theorem marker placement
Oct
8
answered How to create an index for custom environments?
Oct
7
answered How can I automatically calculate sums in a LaTeX table?
Oct
5
answered Fine tuning of a wrapfigure?
Oct
5
answered How to find a package name by a command name?
Sep
30
asked Multilingual class/style file?
Sep
30
answered How can I use BibTeX to cite a web page?
Sep
29
answered moving the equation number up
Sep
29
answered How to use the color package with dvips option together with the graphicx package?
Sep
28
answered Suggestions on how to place a sentence of text inside a box with a border around it
Sep
28
answered Place all floats last without changing numbering
Sep
27
answered Bold math: Automatic choice between \mathbf and \boldsymbol for Latin and Greek symbols?
Sep
27
answered \mathbb{Z} is not displayed correctly
Sep
22
answered How to prevent paragraph breaks after theorem environments?
Sep
21
answered LaTeX (beamer) — Is there a way to suppress the caption label of “Figure X:” or “Table X:”?