- latex_for_wiki_file(+File, +Out, +Options) is det
- Write a LaTeX translation of a Wiki file to the steam Out.
Supports the options
stand_alone,public_onlyandsection_level. See doc_latex/3 for a description of the options.
stand_alone, public_only and
section_level. See doc_latex/3 for a description of the
options.