meta user
network profile
| bio | website | navarroj.com/latex |
|---|---|---|
| location | London, United Kingdom | |
| age | 32 | |
| visits | member for | 2 years, 9 months |
| seen | May 15 at 21:05 | |
| stats | profile views | 951 |
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 |
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 |
comment |
Why is \[ … \] preferable to $$ … $$? I tend to prefer amsmath \begin{equation*} over \[, because it feels more semantic and makes the source more human-readable. But I really don't know, is there any difference between these two? |
|
Jul 28 |
comment |
Does it matter if I use \textit or \it, \bfseries or \bf, etc Of course, semantic markup should always be preferred over syntactic one, but the question was specific about the difference between \textit and \it |
|
Jul 28 |
comment |
When to use \edef, \noexpand, and \expandafter? Really nice and detailed explanation! Thanks for this! |
|
Jul 28 |
comment |
\mid, | (vertical bar), \vert, \lvert, \rvert, \divides +1 ran out of up-votes but this is a nice, clear and concise answer. |
|
Jul 28 |
comment |
What is wrong with the line spacing of my lists of figures and tables? Could you provide a minimal example that reproduces the problem? Do you really need to load all those packages to get the bug to kick in? |
|
Jul 28 |
answered | Blackboard bold characters |
|
Jul 28 |
comment |
What does “overfull hbox” mean? Yes, but! Please do give some time before answering so that others have a chance as well. This also has the effect of producing novel answers which you might have not known otherwise! meta.tex.stackexchange.com/questions/4/… |
|
Jul 28 |
comment |
What is the best package out there to typeset proof trees? Exactly! And that's why we're having this discussion here meta.tex.stackexchange.com/questions/119/where-should-images-go |
|
Jul 28 |
accepted | What is the best package out there to typeset proof trees? |
|
Jul 28 |
comment |
What is the best package out there to typeset proof trees? Actually on your second link I did found something that looks like what I'm looking for! It's under Natural deduction proofs. If possible, please update your answer to contain the answer and not just a pointer to answer. |
|
Jul 28 |
comment |
Glyph insertion Agreed, as long as you really stick with unicode (utf8) for your source files, have a decent editor that allows you to do so, and make sure all your potential collaborators do the same thing. Otherwise messing with encodings is a sure recipe for disaster. |
|
Jul 28 |
comment |
How can I import an exam or assignment from Word into LaTeX? But you were asking for the tool also to parse the equations in the Word document, which I wouldn't advice for the same reasons. You shouldn't write syntactic equations, write semantic equations instead. |
|
Jul 28 |
comment |
What is the best package out there to typeset proof trees? Sorry, I thought my sketch was already explicit enough, but I've just discovered that people draw trees in many different ways! Anyway, I've just added a picture of the kind of trees I want. |
|
Jul 28 |
revised |
What is the best package out there to typeset proof trees? deleted 3 characters in body; added 4 characters in body |
|
Jul 28 |
revised |
How to painlessly create a custom layout for the title page for pdflatex? edited tags |
|
Jul 28 |
revised |
How to automatically resize the vertical bar in a set comprehension? edited title |
|
Jul 28 |
revised |
What is the best package out there to typeset proof trees? deleted 1 characters in body |
