HEADER1 x
HEADER1 "Interesting thing"
The object HEADER1 is a markup type, with ancestor classes HypertextParagraph < Hypertext < BasicList < Thing.
The source of this document is in Text.m2:233:0.