Labeled Statements

[mcantino1]

There are several labeled statements within AATA. Many of these are formatted within a box in PreText, and this reflects the web formatting.

Labeled statements have a very broad definition in Nemeth (see reference below). I think we may need to carefully consider how we make the distinction between what is or is not treated as a labeled statement within PreText.

Nemeth UEB Manual Reference: 11.38 "A mathematical or scientific definition, law, theorem, axiom, lemma, etc., is usually printed in a distinctive style to catch the reader's attention. It also may be set off from the main text by different margins or some other means of distinction. [...] If the statement is labeled with a heading, as in the example shown above, the Nemeth Code calls it a labeled mathematical statement and requires the following format."

Formatting rules (emphasis added):

• 11.38.1 The Label: Transcribe the label in full capitals regardless of print style. Nonregular typeface in the label is ignored. Place the label as a paragraph heading regardless of its location in the print copy.
• 11.38.2 The Statement: If the text of the statement is entirely in the same typeface, the type-face is ignored in the braille transcription. This rule applies even when the statement is entirely in UEB.
• 11.38.3 Spacing and Margins: A line is left blank before the beginning and after the end of the entire labeled statement. Normal paragraphing (3-1) is applied, with the label beginning the paragraph.

[rbeezer]

So, sort of like this?

  THEOREM 8.6 PYTHAGOREAN THEOREM Consider a triangle
with sides of length a, b and c.
  Then a^2 + b^2 = c^2.

[rbeezer]

Hit "comment" too soon. We could do this with PreTeXt THEOREM-LIKE, AXIOM-LIKE, DEFINITION-LIKE. But not for REMARK-LIKE, or EXAMPLE-LIKE, or ...

We should be able to agree on which PreTeXt elements are "mathematical statements".