Juan A. Navarro

14,155 reputation

446105

bio	website	navarroj.com/latex
	location	London, United Kingdom
	age	32
visits	member for	2 years, 10 months
	seen	2 hours ago
stats	profile views	993

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.

	14,155 reputation	bio	website	navarroj.com/latex	visits	member for	2 years, 10 months
446105 badges		location	London, United Kingdom		seen	2 hours ago

summary answers questions tags badges favorites bounties reputation activity

159 Posts

suggestions reviews revisions comments badges posts accepts all

May 29	answered	Automatically replace all \|foo\| with \abs{foo}
Apr 18	answered	The '.is if' handler of pgfkeys
Apr 18	answered	Save choice and execute later in pgfkeys?
Apr 11	asked	Appending to a style that sets code with arguments in pgfkeys
Mar 19	answered	What packages do people load by default in LaTeX?
Dec 17	asked	Distinguish math symbols in the language and the meta-language
Nov 21	asked	Same node distance between levels in a tikz tree?
Nov 8	answered	Filtering options with pgfkeys
Nov 7	asked	Filtering options with pgfkeys
Nov 1	asked	Save choice and execute later in pgfkeys?
Jul 25	asked	Expandable string substitution
Jul 12	answered	Different command definitions with and without optional argument
May 9	answered	How to arrange image and text to appear side by side?
May 9	asked	How to arrange image and text to appear side by side?
Apr 26	answered	Programming simple functions using TikZ arithmetic?
Apr 25	asked	Programming simple functions using TikZ arithmetic?
Sep 19	answered	LaTeX letter with address field in the right place for a “C5 envelope with window”
Aug 17	asked	Typesetting Babylonian numerals?
Jul 23	answered	LaTeX equivalent of <br><br><br> in HTML?
Jul 22	asked	Is there a vertical equivalent for \rlap?