The following introductory examples illustrate the capabilities of the FACTEX procedure. See the section Advanced Examples for illustrations of complex features.