Macros with \fi for showing and hiding proofs
112519
Line break in a modified proof environment (with show/hide feature)
157369
Toggle visibility of solutions in LaTeX output for exams
25979
When not to use \ensuremath for math macro?
79954
How to make G++ preprocessor output a newline in a macro?
25365
How to know (in GCC) when given macro/preprocessor symbol gets declared?
127444
Define a macro based on parameter
113305
Proof using Prüfer encoding
108117
Why are preprocessor macros evil and what are the alternatives?
87004
Inline functions vs Preprocessor macros
133867
Security proofs for CBC mode
92845
How to change theorem numbering when macro file is involved
141496
Could someone make the proof into a hinted exercise?
39921
show that f is constant on I
131041
How can I define a mathematical function as a LaTeX macro?
61812
What is the best package out there to typeset proof trees?
107349
Working with elementary type proofs of divisor functions
135397
How to generate a newline in a cpp macro?