I found one more example in this TeX StackExchange question [1]. It's incredibly elegant. But the problem is that it does not seem to be easily reproducible in

I found one more example in this TeX StackExchange question [1]. It's incredibly elegant. But the problem is that it does not seem to be easily reproducible in LaTeX because writing nested lists is such an unnecessary pain (take a look at the adopted answer). Need a package to popularize this style. [1] https://tex.stackexchange.com/questions/49416/which-packages-practices-are-relevant-for-writing-structured-derivations-simil/438750 https://tex.stackexchange.com/questions/49416/which-packages...