17,745 reputation
1069125
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 3 years, 11 months
seen 2 days 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.


Apr
3
awarded  Good Question
Apr
2
accepted Geometry settings for default document layout?
Apr
2
revised How can I use BibTeX to cite a web page?
edited body
Apr
2
revised How can I use BibTeX to cite a web page?
edited body
Apr
2
awarded  Good Question
Mar
30
awarded  Popular Question
Mar
28
awarded  Great Answer
Mar
26
awarded  Nice Question
Mar
21
awarded  Guru
Mar
19
answered What packages do people load by default in LaTeX?
Mar
18
awarded  Guru
Mar
16
awarded  Nice Question
Mar
7
comment How can I test if a command is followed by an argument?
but in the {\mycmd\token\mycmd} case, I wanted \token to be used as an argument to the first \mycmd. Here it seems that the argument is taken only if enclosed by braces?
Mar
7
awarded  Nice Question
Feb
27
awarded  Popular Question
Feb
11
awarded  Notable Question
Feb
7
reviewed Satisfactory How do I change the basic font into 'Corbel'?
Feb
7
reviewed Satisfactory Back references for shorthandlist
Feb
7
reviewed Satisfactory Improve a fraction's appearance
Feb
7
reviewed Excellent Link enumerate item to subsection