18,025 reputation
1071129
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years
seen yesterday

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.


Jul
29
asked How can I get rid of indentation after an equation?
Jul
29
asked How should I type author names in a bib file?
Jul
29
answered What packages do people load by default in LaTeX?
Jul
29
answered LaTeX templates for writing a thesis
Jul
29
answered What is wrong with the line spacing of my lists of figures and tables?
Jul
28
answered What is the best way to scan over a list of somethings?
Jul
28
answered Blackboard bold characters
Jul
28
asked What is the best package out there to typeset proof trees?
Jul
28
answered How can I create a pdf document exactly as big as my tikz picture?
Jul
28
answered How can I import an exam or assignment from Word into LaTeX?
Jul
28
asked How to automatically resize the vertical bar in a set comprehension?
Jul
28
answered Can I change the font and colour of a letter permanently?
Jul
27
answered How to painlessly create a custom layout for the title page for pdflatex?
Jul
27
answered Is there a '\ReallyDontExpandUntilTheLastMinute' command?
Jul
27
answered How do I break up a bibliography into separately numbered sections?
Jul
27
answered How do I change my margins and spacing to fit the PhD thesis requirements of University XYZ?
Jul
27
answered Is there a '\ReallyDontExpandUntilTheLastMinute' command?
Jul
27
asked What is the best way to scan over a list of somethings?
Jul
27
answered Need macro to ignore specific even-numbered inputs
Jul
27
answered How can I specify a long list of math operators?