math-mode boxes highlighting backgrounds rounded-corners asked Dec 28 '12 at 18:45

c++ parsing types class-design tokenize asked Sep 9 '11 at 13:13

formal-languages formal-grammars context-free asked Aug 5 '12 at 20:59