meta user
network profile
| bio | website | axel22.github.com |
|---|---|---|
| location | Lausanne, Switzerland | |
| age | 27 | |
| visits | member for | 2 years |
| seen | Apr 2 at 12:46 | |
| stats | profile views | 23 |
A doctoral assistant at the EPFL and a member of the Scala team, interested in programming languages, data structures, concurrent and distributed computing.
|
Jun 14 |
comment |
XOR and II (concatenation) summation symbols I saw these guys using concatenation summation: schneier.com/skein.pdf, pages 17,18. |
|
May 27 |
comment |
Tikz arrow starting exactly in the center @Martin Scharrer: Ok, thanks! |
|
May 27 |
comment |
Tikz arrow starting exactly in the center Interesting - I would have thought that shorten shortens the line in the direction it is pointing to. However, what it does is, it just lifts it directly up a little bit, when its starting point is set to center. Thanks! |
|
May 27 |
comment |
Tikz arrow starting exactly in the center @Martin Scharrer: Should that be so in general, or just in figures? The LNCS styleguide says that I should use the verbatim package for code examples. |
|
May 27 |
comment |
Tikz arrow starting exactly in the center You're right, I should do that. I'm on it. |
|
May 13 |
comment |
Defining custom labels Thanks a lot - this can help! |
|
May 13 |
comment |
Defining custom labels Thanks! I was aware of the \linelabel directive, unfortunately, it does not work within figure environments, even if you use \internallinenumbers in the beginning. |
|
May 13 |
comment |
Defining custom labels Brilliant - not only does this work, but it also creates a label inside figure environments, which can be referenced outside of them. This means that I can take lineno's directive \LineNumber and use it to generate a line number within a figure - like this: \customlabel{labelname}{\LineNumber}. Thanks a lot! |
|
May 13 |
comment |
Defining custom labels I was using the lineno package to do line numbering, but defining labels based on line numbers within figure environments doesn't work there. I would settle with defining the line numbers for the labels manually in some way - just so that if something changes, I only have to update the label definitions, and not the refs too. If there is some other, non-label related way to do it, I would be satisfied with that as well. |
