> On Mar 24, 2021, at 3:04 PM, Zheng Fan <[email protected]> wrote: > > So is it specified somewhere that the header of each hierarchy of sections > has two specific repeating patterns around the section name?
Yes, it’s in the Metamath book section 4.1.1 on page 140 (see “Headings”). You can also see this by running metamath.exe & saying “help write theorem_list”. --- David A. Wheeler -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/636CA506-BEED-4D8D-8447-5B08BF76DC81%40dwheeler.com.
