Blank line and formal proof

[Isabelle]

In "an introduction to braille mathematics" section 47ai, it says that a blank line is not necessary before a new page-separation line. However, in the case of a formal proof presented in step-number form and divided into two columns, section 47bi, it is written that a blank line must be inserted after the end of the step-numbered items, with no mention of the exception for a new page-separation line or a new braille page.
My question is: should we insert a blank line after the end of the step-numbered items, even if it is before a new page-separation line?
Thank you, Isabelle

[Lindy Walton]

Hi Isabelle.

The statement you have quoted has been deleted. The revision to Sec.47.a.i. says this: "A line must be left blank before the beginning and after the end of the entire labeled statement or formal proof." The newest errata/addenda to our lesson book is dated 2-22-2013 and is posted on the NFB's website. It applies to the original printing of the lesson manual. You can download it here: https://nfb.org/math-transcribing at the bottom of that web page.

We follow Braille Formats 2011 for the blank lines required before or after a page change indicator. There is also a helpful blank line summary in Appendix C of that document. Note that a Nemeth braille transcription has one exception to the rules when a spatial arrangement falls at the end of a print page.

Step-numbered items which we have reformatted as a list follow Braille Format rules for a list.

As more updates and errata are posted, it can be difficult to make sense of which rule to follow. If your lesson books have been revised beyond recognition, it might be a good idea to get a new copy and start over with the latest revisions.

[Author]

Posts