4,494 reputation
226
bio website
location Oxford, United Kingdom
age
visits member for 1 year
seen 52 mins ago

I am a PhD student with strong interest in research.

My research interests are Semantics, Programming Languages, Model Checking, Static Analysis, Abstract Interpretation, Concurrency, Process Algebra, Declarative Programming.

Check out my package for multi-author commenting: https://github.com/bordaigorl/latex-commenting


23h
comment Defining a command with variable number of primes
ah no I get it it's accumulating them before letting TeX see them, right? Thanks for the explanation on \romannumeral that was bamboozling
23h
comment Defining a command with variable number of primes
@egreg yes, a bit. Is the main trick generating the primes from the last one?
23h
comment Defining a command with variable number of primes
the first solution is mesmerising. Still, deeply inside I do not want to know how it works =P
1d
comment Defining a command with variable number of primes
@1010011010 how do you avoid having a double superscript error?
1d
comment Defining a command with variable number of primes
I provided a very simple minded solution that puts a superscript with the number for argument>4. It seems a more complicated solution is not worth it. The complication is that LaTeX needs to see all the primes at once or either you get a double superscript error or the wrong spacing
1d
answered Defining a command with variable number of primes
1d
comment Defining a command with variable number of primes
do you need support for an arbitrary number as the argument or can there be a maximum supported?
1d
revised Simple Grid drawing
added 1719 characters in body
1d
revised Simple Grid drawing
added 423 characters in body
1d
answered Simple Grid drawing
1d
comment How to create a “Bitcoin accepted here” button?
great example of how to define a symbol respecting font sizes! Why do you set \fboxsep? Typo from tests?
Sep
15
comment Argument of \@item has an extra }
The brackets are balanced but you are passing an arg to \pysigline that contains an \item so after substituting it to #1 you get something like \item[...\item...] which is not valid
Sep
15
answered Difference between *.tex and *.txt Files
Sep
15
comment Replace instances of \cite that have a specific argument
wow...seems pretty dangerous though...to what does the substitution apply exactly? Does it also substitute comment strings? What about things in verbatim? I know having \verb|\cite{a_literal_string}| in the same doc is unrealistic but I'm interested in the general case...
Sep
15
revised How to Draw This Free Body Diagram on TikZ or PGFPlots
code
Sep
14
awarded  Custodian
Sep
14
reviewed Reopen Suggestions for making a Jeopardy game?
Sep
14
awarded  Yearling
Sep
11
revised tikz-shape wiki excerpt
added 49 characters in body
Sep
11
revised tikz-shape wiki description
added 146 characters in body