LaTeX.org

I want to keep a running tab of examples throughout the text, interspersed with prose. For instance, I might want something like this:
{
Turing Machines never halt, as shown by the following:

(1) M takes itself as an argument
(2) M goes forever

However, if we add an oracle, then the machine will ...