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