13,975 reputation
446101
bio website navarroj.com/latex
location London, United Kingdom
age 32
visits member for 2 years, 9 months
seen May 15 at 21:05
stats profile views 951

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
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:”?
Sep
21
answered In beamer class, how do I remove the additional vertical space before an itemize environment?
Sep
21
answered Defining a command for linked and indexed section headings?
Sep
20
answered Redefining the citation macro temporarily.
Sep
17
answered Making a new environment combining equation and split
Sep
15
answered Use column-separator & (ampersand) inside \newenvironment
Sep
9
asked How to increase the spacing between equations in “gather”?