Source position: fptexexport.pp line 109
published property TTeXExporter.FormatSettings : TTeXExportFormatSettings;