- ## Everything below the first non-zero element in a column will be
- ## part of the envelope. Since we're moving from top to bottom, we
- ## can simply set a flag indicating that we've found the first
- ## non-zero element. Thereafter, everything we encounter should be
- ## added to the envelope.
+ % Everything below the first non-zero element in a column will be
+ % part of the envelope. Since we're moving from top to bottom, we
+ % can simply set a flag indicating that we've found the first
+ % non-zero element. Thereafter, everything we encounter should be
+ % added to the envelope.