On Wed, 2011-12-14 at 18:53 -0500, Terry Reedy wrote:
> On 12/13/2011 10:53 AM, Guido van Rossum wrote:
> > On Mon, Dec 12, 2011 at 9:24 PM, Terry Reedy<tjreedy@udel.edu>  wrote:
> >> On 12/12/2011 5:07 PM, Ron Adam wrote:
> >>
> >>> To make that work, we need to use unique character sequences that aren't
> >>> already used.  After some thought, I came up with these indent-markers.
> >>>
> >>>      ///   # indent level +1
> >>>      ;;;   # indent level +0
> >>>      \\\   # indent level -1