2 Formal Description

This extension adds a new stropping regime to the Standard Hardware Representation, so a new pragmat-item shall be invented.

3.5

... of which there are four.  A new regime is invoked by a pragmat
containing one of the pragmat-items POINT, UPPER, RES or SUPPER, and
takes effect following the closing pragmat symbol.

The new stropping regime is then described in its own section, as follows.

3.5.4 SUPPER Stropping

Bold words.

- A bold word is written as a sequence of {one or more} taggles
  whose worthy letters and digits correspond, in order, to the bold
  faced letters and digits in the word.

- A bold word must start with an upper-case letter.  Upper- and
  lower-case letters may be otherwise intermixed in a bold word.

- Upper-case letters may be written only in bold words and
  character-glyphs.

Tags.

- A tag is written as a sequence of {one or more} taggles.  The
  taggles cannot be separated by typographical display features.

- A taggle is written by writing, in order, the corresponding
  worthy letters and digits optionally followed by an underscore.

- A taggle must be adjacent to an underscore if its letters and
  digits correspond, in order, to those of a reserved word.

- If a taggle does not end with an underscore, it must be followed
  by a disjunctor.

{Examples:

     Program: PR SUPPER PR begin real x; x := x - 1 end
     Bold: begin, AMode, AmOdE, AMODE, Oper, OPER
     Plain: begin_, end_of_file, end_of_file_, xl,
            x_l,
     Error: Some_Mode, end of file, end____of__file,
            end_of_file__ }