LaTeX with Zed and Skim
Build on save with forward and backward search
Here is \(\LaTeX\) related stuff
Build on save with forward and backward search
Use math environments inside other math environments
How to define a nice amsthm theorem for algorithms