18,090 reputation
1071131
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 1 month
seen 8 hours 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.


Aug
3
awarded  Enlightened
Aug
3
revised LaTeX templates for writing a thesis
deleted 4 characters in body; edited title
Aug
3
comment Removing spaces between “words” in math mode
That's what I tried to say with "appropriate spaces" in the first sentence, but I probably was't explicit enough. :P
Aug
3
answered Is there an automatic process to create index creation?
Aug
3
awarded  Nice Answer
Aug
3
comment Squeezing scientific paper to fit within page limits
Could you briefly describe a few of those tools/tricks here? It's fine to include a link to your website but, whenever possible, we want answers to be hosted in the site. See meta.tex.stackexchange.com/questions/227/…
Aug
3
accepted How can I test if a command is followed by an argument?
Aug
3
comment How can I test if a command is followed by an argument?
Excellent, thanks! I found about \futurelet but somehow I couldn't figure out how to test for } or put all of it together. This works nicely!
Aug
3
comment How can I test if a command is followed by an argument?
@SSharpie, I was looking for a TeX answer, but a LaTeX one would also be welcome
Aug
3
comment How can I test if a command is followed by an argument?
I was trying, you can re-tag of course :)
Aug
2
answered Removing spaces between “words” in math mode
Aug
2
comment What are the available “documentclass” types and their uses?
I think this question is too open ended and just voted to close. There are literally thousands of classes out there. I would be much more interested in similar questions by topic, e.g. we already have classes for letters, maybe also classes for slides, classes for cv's, etc. People will search by topic.
Aug
2
comment What is the difference between \def and \newcommand?
Wow, I actually didn't know about the \end... commands not being definable by \newcommand. Always learning a new thing!
Aug
2
asked How can I test if a command is followed by an argument?
Aug
2
answered How to instert full citation, instead of citation key? List of Author's publication?
Aug
2
answered Remove ugly borders around clickable cross-references and hyperlinks
Aug
1
accepted How do magic \dots work in amsmath?
Aug
1
answered Meaningful error messages when using latex instead of pdflatex
Jul
31
comment How to encourage TeX as a homework medium
Even better, you could in addition provide a simple style file already defining a few macros and semantic commands for your particular class so that students find the LaTeX syntax more natural and helps them type their formulas more easily.
Jul
31
answered help me write verbatim