The description of the stropping of bold words in POINT stropping in the Standard Hardware Representation is changed from:
3.5.1
Bold words.
- A bold word is written as a point (".") followed, in order, by the
worthy letters or digits corresponding to the bold-faced letters or
digits in the word.
- A bold word must be followed by a disjunctor.
to
3.5.1
Bold words.
- A bold word is written as a point (".") followed by 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.
When the extension is enabled, the new rule for writing bold words applies to all the three standard stropping regimes described in the Standard Hardware Representation.