Dependent Type Theory

This fixture verifies that heading permalink widgets are removed from heading text while preserving the heading title itself. The extra prose ensures stable content selection.

2.6. Variables and Sections 🔗

This section introduces variables and sections in Lean. Any permalink icon should be excluded from the extracted markdown heading.