18,525 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.


Aug
10
revised Installing TTF fonts in LaTeX
edited tags; edited title
Aug
9
wiki created math-mode description
Aug
9
revised Aligned equations inside of TikZ node.
edited tags
Aug
9
revised Package switches within the document?
edited tags
Aug
9
revised What packages do people load by default in LaTeX?
edited tags
Aug
9
revised Are there any tools for collaborative bib files?
added 215 characters in body
Aug
9
comment Are there any tools for collaborative bib files?
nbibtex sounds intriguing, but I'm curious about how well would that work in practice when you have multiple collaborators and possibly multiple .bib files with different conventions each.
Aug
9
revised Multirow/multicolumn cells in TikZ matrices?
edited tags
Aug
9
revised Abstract not showing up when removing \maketitle
deleted 81 characters in body
Aug
9
answered Abstract not showing up when removing \maketitle
Aug
9
revised Why does the less than equal to symbol not appear as intended in the following code?
added 142 characters in body
Aug
9
revised Why does the less than equal to symbol not appear as intended in the following code?
edited tags
Aug
9
revised How can I get rid of indentation after an equation?
edited tags
Aug
9
revised Why does the less than equal to symbol not appear as intended in the following code?
edited tags; edited tags
Aug
9
revised Difference between \big[ and \bigl[
edited tags
Aug
9
revised How do I draw bar graphs in my LaTeX documents?
added 2 characters in body; edited tags; edited title; edited tags
Aug
9
revised Proper punctuation after cases environment
edited tags
Aug
9
revised What are good learning resources for a LaTeX beginner?
edited tags
Aug
9
comment how to avoid bibtex error message “repeated entry” for an entry appearing in several bibtex files?
I remember there was some (set of?) command line tools to manage and process bib files, e.g. sort, merge, find duplicates, etc. But my memory is failing and I can't seem to be able to find them anymore. Does anyone know about these?
Aug
9
revised Syntax of TeX/LaTeX
edited body; edited tags; edited title