meta user
network profile
| bio | website | navarroj.com/latex |
|---|---|---|
| location | London, United Kingdom | |
| age | 32 | |
| visits | member for | 2 years, 9 months |
| seen | 2 days ago | |
| 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 28 |
comment |
What is the best package out there to typeset proof trees? Thanks for the link, but I'm looking for something more like "natural deduction proofs" (I've clarified the question). Also for completeness please include the answer here, as well as linking to the external resource. This helps the answer live even if the external link goes down in the future. |
|
Jul 28 |
comment |
What is the best package out there to typeset proof trees? Thanks for the answer, but I was looking for something more like "natural deduction proofs", i've added to the question a sketch of what I mean. |
|
Jul 28 |
revised |
What is the best package out there to typeset proof trees? added 97 characters in body; deleted 4 characters in body |
|
Jul 28 |
awarded | Autobiographer |
|
Jul 28 |
asked | What is the best package out there to typeset proof trees? |
|
Jul 28 |
comment |
Line breaking (or hyphenation?) of references in apalike That was the first thing I tried but it changes the style of the references and the problem somewhat still seems to be there (a two part lastname went past the margin of the page where a linebreak should have been inserted). |
|
Jul 28 |
answered | How can I create a pdf document exactly as big as my tikz picture? |
|
Jul 28 |
comment |
How to automatically resize the vertical bar in a set comprehension? Sweet, thanks! It's surprising that I have missed the existence of this command! |
|
Jul 28 |
accepted | How to automatically resize the vertical bar in a set comprehension? |
|
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 |
comment |
Tools for automating document compilation This is what I regularly use, and I can highly recommend it. |
|
Jul 27 |
revised |
What is the best way to scan over a list of somethings? added 131 characters in body |
|
Jul 27 |
comment |
What is the best way to scan over a list of somethings? This is very similar to the proposed solutions posted in the original threads (see the question), I wanted to know if there is anything better. Moreover, I would like to process lists of arguments given as \Command{a,b,c} or \Command{a:b:c}. |
|
Jul 27 |
comment |
How can I specify a long list of math operators? Following the scheme above it wont be difficult to define a more general \MapCommand{\Cmd}{a,b,c} which expands to \Cmd{a}\Cmd{b}\Cmd{c}. |
|
Jul 27 |
answered | How to painlessly create a custom layout for the title page for pdflatex? |
|
Jul 27 |
awarded | Commentator |
|
Jul 27 |
comment |
Is there a '\ReallyDontExpandUntilTheLastMinute' command? If you like the answer at least give it an up-vote ;) |
|
Jul 27 |
awarded | Organizer |
