18,515 reputation
1074137
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 3 months
seen Sep 17 at 7:18

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.


1d
awarded  Notable Question
Oct
13
awarded  Nice Question
Sep
30
awarded  Explainer
Sep
22
awarded  Announcer
Sep
19
awarded  Notable Question
Sep
16
awarded  Good Answer
Sep
11
awarded  Nice Question
Sep
8
comment Why do we use the Latex logo when referring to Latex in text?
I always thought that this is done simply to show off the fact that it can be done. (And I think it is a good thing!)
Sep
6
awarded  Nice Answer
Sep
3
awarded  Popular Question
Sep
1
awarded  Nice Answer
Aug
22
awarded  Nice Answer
Aug
4
awarded  Enlightened
Aug
4
awarded  Nice Answer
Jul
30
awarded  Announcer
Jul
30
comment Why is the \underbrace off the line?
\strut is indeed the solution!
Jul
30
awarded  Custodian
Jul
28
awarded  Nice Answer
Jul
27
awarded  Yearling
Jul
25
comment Can pdflatex (or any tex package) automatically rescale included images which have been reduced in size?
The post from Apple Support seems to be gone now, but I think that I've found the filters at: github.com/joshcarr/Apple-Quartz-Filters