I am using bussproofs package to provide some type proofs. According to bussproofs manual, it is impossible to use prooftree inside math mode. However, I would like to insert prooftree in the cases ...

I am using the enumitem and amsmath packages to give the recursive definition of the valuation function $\nu$ for classical first order logic. The way I have it set up, the brackets of the cases are ...

I'm trying to parse a date (say, a due date) in a DD-MMM-YYYY format, e.g., 06-May-2012 and create macros \dueday, \duemonth, and \dueyear. I use xstring's commands to extract the substrings. Then I ...

How can I get a brace on the right, not the left, to group cases, using cases? (I know actual cases look better with the brace on the left, but the items I need to group are not literally cases. They ...

I want to write a clean-looking piecewise defined function.
There's a similar post here: How to write a function (piecewise) with bracket outside?, but I have follow-up questions.
The two options I ...

Is there a cases package that lets me label my cases as I want? The cases and subcases environments of the cases package either labels tags with consecutive numbers or not at all. I would like some ...

The cases environment works very well for enumerating cases within a large left bracket. I'd like to be able to combine it with the align environment so that equals-signs and conditions also line up:
...

I am using the "dcases" environment of the "mathtools" package with nested other environments inside it. The whole expression does not fit on a single page and so I am wondering if it is possible to ...

Often-times I find myself wanting to write something like,
That is, a vertical brace followed by a table consisting of three columns, the first and the last are math, aligned where-ever I like, and ...

I have the same issue as in this question: Split-like environment inside cases environment with one difference - I would like to get the same result with LyX, using as little LaTeX code as possible. ...