205 reputation
26
bio website brillout.com
location Berlin, Germany
age
visits member for 2 years, 9 months
seen May 12 at 12:45

May
7
awarded  Yearling
Mar
17
awarded  Notable Question
Aug
16
awarded  Popular Question
Feb
15
accepted Sequent Calculus
Feb
14
revised Sequent Calculus
edited tags
Feb
14
comment Sequent Calculus
looks like multicolumn would do the trick. A thing I see missing: how to draw the rules? (the rules are the letters in parentheses next to a line)
Feb
14
comment Sequent Calculus
nothing really, i'm quite a latex noob:). Tables sounds good, are nested tables possible? So a table in a table cell?
Feb
14
asked Sequent Calculus
Dec
2
awarded  Scholar
Dec
2
accepted TikZ - multi-color double circle node
Dec
2
awarded  Nice Question
Dec
2
awarded  Supporter
Dec
1
comment TikZ - multi-color double circle node
i would like the stroke to have a different color and both circle having slightly different size, so version 3 would be the closest one. thanks for all the nice tikz snippets
Dec
1
awarded  Student
Dec
1
comment TikZ - multi-color double circle node
thanks! could you re-edit to make the picture inline? i can't do it since i've <10 reputation
Dec
1
revised TikZ - multi-color double circle node
added 65 characters in body
Dec
1
comment TikZ - multi-color double circle node
thanks! is there a way to have a single \node[whatever] {content}?
Dec
1
awarded  Editor
Dec
1
revised TikZ - multi-color double circle node
added 96 characters in body
Dec
1
asked TikZ - multi-color double circle node