2020-04-26 12:07:06 +00:00
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
< html >
< head >
< title > TeX Utilities< / title >
< link href = "../docs-assets/Breadcrumbs.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< meta name = "viewport" content = "width=device-width initial-scale=1" >
< meta http-equiv = "Content-Type" content = "text/html; charset=utf-8" >
< meta http-equiv = "Content-Language" content = "en-gb" >
2020-04-30 22:36:38 +00:00
< link href = "../docs-assets/Progress.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
2020-04-26 12:07:06 +00:00
< link href = "../docs-assets/Navigation.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Fonts.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Base.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< script >
function togglePopup(material_id) {
var popup = document.getElementById(material_id);
popup.classList.toggle("show");
}
< / script >
< link href = "../docs-assets/Popups.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Colours.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< / head >
< body class = "commentary-font" >
< nav role = "navigation" >
< h1 > < a href = "../index.html" >
< img src = "../docs-assets/Octagram.png" width = 72 height = 72" >
< / a > < / h1 >
< ul > < li > < a href = "index.html" > < span class = "selectedlink" > inweb< / span > < / a > < / li >
< / ul > < h2 > Foundation Module< / h2 > < ul >
< li > < a href = "../foundation-module/index.html" > foundation< / a > < / li >
< li > < a href = "../foundation-test/index.html" > foundation-test< / a > < / li >
< / ul > < h2 > Example Webs< / h2 > < ul >
< li > < a href = "../goldbach/index.html" > goldbach< / a > < / li >
< li > < a href = "../twinprimes/twinprimes.html" > twinprimes< / a > < / li >
< li > < a href = "../eastertide/index.html" > eastertide< / a > < / li >
< / ul > < h2 > Repository< / h2 > < ul >
< li > < a href = "https://github.com/ganelson/inweb" > < img src = "../docs-assets/github.png" height = 18 > github< / a > < / li >
< / ul > < h2 > Related Projects< / h2 > < ul >
< li > < a href = "../../../inform/docs/index.html" > inform< / a > < / li >
< li > < a href = "../../../intest/docs/index.html" > intest< / a > < / li >
< / ul >
< / nav >
< main role = "main" >
<!-- Weave of 'TeX Utilities' generated by Inweb -->
2020-04-30 22:36:38 +00:00
< div class = "breadcrumbs" >
< ul class = "crumbs" > < li > < a href = "../index.html" > Home< / a > < / li > < li > < a href = "index.html" > inweb< / a > < / li > < li > < a href = "index.html#5" > Chapter 5: Formats< / a > < / li > < li > < b > TeX Utilities< / b > < / li > < / ul > < / div >
< p class = "purpose" > A few conveniences for using Inweb with TeX.< / p >
2020-04-26 12:07:06 +00:00
< ul class = "toc" > < li > < a href = "5-tu.html#SP1" > § 1. Post-processing TeX console output< / a > < / li > < li > < a href = "5-tu.html#SP5" > § 5. Reporting< / a > < / li > < li > < a href = "5-tu.html#SP7" > § 7. Removing math mode< / a > < / li > < / ul > < hr class = "tocbar" >
< p class = "commentary firstcommentary" > < a id = "SP1" > < / a > < b > § 1. Post-processing TeX console output. < / b > Pattern commands post-processing TeX tend to run TeX-like tools in
"scrollmode", so that any errors whizz by rather than interrupting or halting
the session. Prime among errors is the "overfull hbox error", a defect of TeX
resulting from its inability to adjust letter spacing, so that it requires us
to adjust the copy to fit the margins of the page properly. (In practice we
get this here by having code lines which are too wide to display.)
< / p >
< p class = "commentary" > Also, TeX helpfully reports the size and page count of what it produces, and
we're not too proud to scrape that information out of the console file, besides
the error messages (which begin with an exclamation mark in column 1).
< / p >
< p class = "commentary" > This structure will store what we find:
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "reserved-syntax" > typedef< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > tex_results< / span > < span class = "plain-syntax" > {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > overfull_hbox_count< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > tex_error_count< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > page_count< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > pdf_size< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > filename< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > PDF_filename< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "constant-syntax" > MEMORY_MANAGEMENT< / span >
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > tex_results< / span > < span class = "plain-syntax" > ;< / span >
< / pre >
< ul class = "endnotetexts" > < li > The structure tex_results is private to this section.< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP2" > < / a > < b > § 2. < / b > < / p >
< pre class = "displayed-code all-displayed-code code-font" >
2020-04-27 22:43:23 +00:00
< span class = "reserved-syntax" > tex_results< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > TeXUtilities::new_results< / span > < button class = "popup" onclick = "togglePopup('usagePopup1')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup1" > Usage of < span class = "code-font" > < span class = "function-syntax" > TeXUtilities::new_results< / span > < / span > :< br / > < a href = "5-tu.html#SP3" > § 3< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > weave_order< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > wv< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > filename< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > CF< / span > < span class = "plain-syntax" > ) {< / span >
2020-04-26 12:07:06 +00:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > tex_results< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > CREATE< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > tex_results< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > overfull_hbox_count< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > tex_error_count< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > page_count< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > pdf_size< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > PDF_filename< / span > < span class = "plain-syntax" > = < / span > < a href = "../foundation-module/3-fln.html#SP8" class = "function-link" > < span class = "function-syntax" > Filenames::set_extension< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > CF< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > ".pdf"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< / pre >
< p class = "commentary firstcommentary" > < a id = "SP3" > < / a > < b > § 3. < / b > So, then, here's the function called from < a href = "1-ptt.html" class = "internal" > Patterns< / a > in response to
the special < span class = "extract" > < span class = "extract-syntax" > PROCESS< / span > < / span > command:
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
2020-04-27 22:43:23 +00:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > TeXUtilities::post_process_weave< / span > < button class = "popup" onclick = "togglePopup('usagePopup2')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup2" > Usage of < span class = "code-font" > < span class = "function-syntax" > TeXUtilities::post_process_weave< / span > < / span > :< br / > Patterns - < a href = "1-ptt.html#SP5" > § 5< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > weave_order< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > wv< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > filename< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > CF< / span > < span class = "plain-syntax" > ) {< / span >
2020-04-26 12:07:06 +00:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > wv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > post_processing_results< / span > < span class = "plain-syntax" > = < / span > < a href = "5-tu.html#SP2" class = "function-link" > < span class = "function-syntax" > TeXUtilities::new_results< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > wv< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > CF< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "../foundation-module/4-tf.html#SP5" class = "function-link" > < span class = "function-syntax" > TextFiles::read< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > CF< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > FALSE< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "can't open console file"< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > TRUE< / span > < span class = "plain-syntax" > , < / span > < a href = "5-tu.html#SP4" class = "function-link" > < span class = "function-syntax" > TeXUtilities::scan_console_line< / span > < / a > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > *) < / span > < span class = "identifier-syntax" > wv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > post_processing_results< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< / pre >
< p class = "commentary firstcommentary" > < a id = "SP4" > < / a > < b > § 4. < / b > < / p >
< pre class = "displayed-code all-displayed-code code-font" >
2020-04-27 22:43:23 +00:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > TeXUtilities::scan_console_line< / span > < button class = "popup" onclick = "togglePopup('usagePopup3')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup3" > Usage of < span class = "code-font" > < span class = "function-syntax" > TeXUtilities::scan_console_line< / span > < / span > :< br / > < a href = "5-tu.html#SP3" > § 3< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > text_stream< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > line< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > text_file_position< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > tfp< / span > < span class = "plain-syntax" > ,< / span >
2020-04-26 12:07:06 +00:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > res_V< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > tex_results< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > = (< / span > < span class = "reserved-syntax" > tex_results< / span > < span class = "plain-syntax" > *) < / span > < span class = "identifier-syntax" > res_V< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > match_results< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mr< / span > < span class = "plain-syntax" > = < / span > < a href = "../foundation-module/4-pm.html#SP9" class = "function-link" > < span class = "function-syntax" > Regexp::create_mr< / span > < / a > < span class = "plain-syntax" > ();< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-pm.html#SP10" class = "function-link" > < span class = "function-syntax" > Regexp::match< / span > < / a > < span class = "plain-syntax" > (& < / span > < span class = "identifier-syntax" > mr< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > line< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > L< / span > < span class = "string-syntax" > "Output written %c*? %((%d+) page%c*?(%d+) bytes%)."< / span > < span class = "plain-syntax" > )) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > page_count< / span > < span class = "plain-syntax" > = < / span > < a href = "../foundation-module/4-sm.html#SP7" class = "function-link" > < span class = "function-syntax" > Str::atoi< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mr< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > exp< / span > < span class = "plain-syntax" > [0], < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > pdf_size< / span > < span class = "plain-syntax" > = < / span > < a href = "../foundation-module/4-sm.html#SP7" class = "function-link" > < span class = "function-syntax" > Str::atoi< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mr< / span > < span class = "plain-syntax" > .< / span > < span class = "element-syntax" > exp< / span > < span class = "plain-syntax" > [1], < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-pm.html#SP10" class = "function-link" > < span class = "function-syntax" > Regexp::match< / span > < / a > < span class = "plain-syntax" > (& < / span > < span class = "identifier-syntax" > mr< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > line< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > L< / span > < span class = "string-syntax" > "%c+verfull \\hbox%c+"< / span > < span class = "plain-syntax" > ))< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > overfull_hbox_count< / span > < span class = "plain-syntax" > ++;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_first_char< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > line< / span > < span class = "plain-syntax" > ) == < / span > < span class = "character-syntax" > '!'< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > tex_error_count< / span > < span class = "plain-syntax" > ++;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < a href = "../foundation-module/4-pm.html#SP9" class = "function-link" > < span class = "function-syntax" > Regexp::dispose_of< / span > < / a > < span class = "plain-syntax" > (& < / span > < span class = "identifier-syntax" > mr< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< / pre >
< p class = "commentary firstcommentary" > < a id = "SP5" > < / a > < b > § 5. Reporting. < / b > < / p >
< pre class = "displayed-code all-displayed-code code-font" >
2020-04-27 22:43:23 +00:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > TeXUtilities::report_on_post_processing< / span > < button class = "popup" onclick = "togglePopup('usagePopup4')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup4" > Usage of < span class = "code-font" > < span class = "function-syntax" > TeXUtilities::report_on_post_processing< / span > < / span > :< br / > Format Methods - < a href = "5-fm.html#SP8" > § 8< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > weave_order< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > wv< / span > < span class = "plain-syntax" > ) {< / span >
2020-04-26 12:07:06 +00:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > tex_results< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > wv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > post_processing_results< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > PRINT< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > ": %dpp %dK"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > page_count< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > pdf_size< / span > < span class = "plain-syntax" > /1024);< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > overfull_hbox_count< / span > < span class = "plain-syntax" > > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > PRINT< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > ", %d overfull hbox(es)"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > overfull_hbox_count< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > tex_error_count< / span > < span class = "plain-syntax" > > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > PRINT< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > ", %d error(s)"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > tex_error_count< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
< / pre >
< p class = "commentary firstcommentary" > < a id = "SP6" > < / a > < b > § 6. < / b > And here are some details to do with the results of post-processing.
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
2020-04-27 22:43:23 +00:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > TeXUtilities::substitute_post_processing_data< / span > < button class = "popup" onclick = "togglePopup('usagePopup5')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup5" > Usage of < span class = "code-font" > < span class = "function-syntax" > TeXUtilities::substitute_post_processing_data< / span > < / span > :< br / > Format Methods - < a href = "5-fm.html#SP9" > § 9< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > text_stream< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > weave_order< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > wv< / span > < span class = "plain-syntax" > ,< / span >
2020-04-26 12:07:06 +00:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > text_stream< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > detail< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > wv< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > tex_results< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > wv< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > post_processing_results< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP22" class = "function-link" > < span class = "function-syntax" > Str::eq_wide_string< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > detail< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > L< / span > < span class = "string-syntax" > "PDF Size"< / span > < span class = "plain-syntax" > )) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "%dKB"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > pdf_size< / span > < span class = "plain-syntax" > /1024);< / span >
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP22" class = "function-link" > < span class = "function-syntax" > Str::eq_wide_string< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > detail< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > L< / span > < span class = "string-syntax" > "Extent"< / span > < span class = "plain-syntax" > )) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "%dpp"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > page_count< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP22" class = "function-link" > < span class = "function-syntax" > Str::eq_wide_string< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > detail< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > L< / span > < span class = "string-syntax" > "Leafname"< / span > < span class = "plain-syntax" > )) {< / span >
< span class = "plain-syntax" > < / span > < a href = "../foundation-module/4-sm.html#SP17" class = "function-link" > < span class = "function-syntax" > Str::copy< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > , < / span > < a href = "../foundation-module/3-fln.html#SP7" class = "function-link" > < span class = "function-syntax" > Filenames::get_leafname< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > PDF_filename< / span > < span class = "plain-syntax" > ));< / span >
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP22" class = "function-link" > < span class = "function-syntax" > Str::eq_wide_string< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > detail< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > L< / span > < span class = "string-syntax" > "Errors"< / span > < span class = "plain-syntax" > )) {< / span >
< span class = "plain-syntax" > < / span > < a href = "../foundation-module/4-sm.html#SP15" class = "function-link" > < span class = "function-syntax" > Str::clear< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > overfull_hbox_count< / span > < span class = "plain-syntax" > > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) || (< / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > tex_error_count< / span > < span class = "plain-syntax" > > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ))< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > ": "< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > overfull_hbox_count< / span > < span class = "plain-syntax" > > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "%d overfull line%s"< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > overfull_hbox_count< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > overfull_hbox_count< / span > < span class = "plain-syntax" > > 1)?< / span > < span class = "string-syntax" > "s"< / span > < span class = "plain-syntax" > :< / span > < span class = "string-syntax" > ""< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > overfull_hbox_count< / span > < span class = "plain-syntax" > > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > tex_error_count< / span > < span class = "plain-syntax" > > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ))< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > ", "< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > tex_error_count< / span > < span class = "plain-syntax" > > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "%d TeX error%s"< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > tex_error_count< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > res< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > tex_error_count< / span > < span class = "plain-syntax" > > 1)?< / span > < span class = "string-syntax" > "s"< / span > < span class = "plain-syntax" > :< / span > < span class = "string-syntax" > ""< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< / pre >
< p class = "commentary firstcommentary" > < a id = "SP7" > < / a > < b > § 7. Removing math mode. < / b > "Math mode", in TeX jargon, is what happens when a mathematical formula
is written inside dollar signs: in < span class = "extract" > < span class = "extract-syntax" > Answer is $x+y^2$< / span > < / span > , the math mode
content is < span class = "extract" > < span class = "extract-syntax" > x+y^2< / span > < / span > . But since math mode doesn't (easily) exist in HTML,
for example, we want to strip it out if the format is not TeX-related.
To do this, the weaver calls the following.
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
2020-04-28 22:00:48 +00:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > TeXUtilities::remove_math_mode< / span > < button class = "popup" onclick = "togglePopup('usagePopup6')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup6" > Usage of < span class = "code-font" > < span class = "function-syntax" > TeXUtilities::remove_math_mode< / span > < / span > :< br / > HTML Formats - < a href = "5-hf.html#SP5_35" > § 5.35< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "constant-syntax" > OUTPUT_STREAM< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > text_stream< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > ) {< / span >
2020-04-26 12:07:06 +00:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TEMPORARY_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > math_matter< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "5-tu.html#SP7" class = "function-link" > < span class = "function-syntax" > TeXUtilities::remove_math_mode_range< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > math_matter< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > , < / span > < a href = "../foundation-module/4-sm.html#SP8" class = "function-link" > < span class = "function-syntax" > Str::len< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > )-1);< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "%S"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > math_matter< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > DISCARD_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > math_matter< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
2020-04-27 22:43:23 +00:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > TeXUtilities::remove_math_mode_range< / span > < button class = "popup" onclick = "togglePopup('usagePopup7')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup7" > Usage of < span class = "code-font" > < span class = "function-syntax" > TeXUtilities::remove_math_mode_range< / span > < / span > :< br / > < a href = "5-tu.html#SP7_1" > § 7.1< / a > , < a href = "5-tu.html#SP7_2" > § 7.2< / a > , < a href = "5-tu.html#SP7_3" > § 7.3< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "constant-syntax" > OUTPUT_STREAM< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > text_stream< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > from< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > ) {< / span >
2020-04-26 12:07:06 +00:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > for< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > =< / span > < span class = "identifier-syntax" > from< / span > < span class = "plain-syntax" > ; < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > < = < / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > ; < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > ++) {< / span >
2020-04-27 22:43:23 +00:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "5-tu.html#SP7_1" class = "named-paragraph-link" > < span class = "named-paragraph" > Remove the over construction< / span > < span class = "named-paragraph-number" > 7.1< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2020-04-26 12:07:06 +00:00
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > for< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > =< / span > < span class = "identifier-syntax" > from< / span > < span class = "plain-syntax" > ; < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > < = < / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > ; < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > ++) {< / span >
2020-04-27 22:43:23 +00:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "5-tu.html#SP7_2" class = "named-paragraph-link" > < span class = "named-paragraph" > Remove the rm and it constructions< / span > < span class = "named-paragraph-number" > 7.2< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "5-tu.html#SP7_3" class = "named-paragraph-link" > < span class = "named-paragraph" > Remove the sqrt constructions< / span > < span class = "named-paragraph-number" > 7.3< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2020-04-26 12:07:06 +00:00
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > math_mode< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > for< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > =< / span > < span class = "identifier-syntax" > from< / span > < span class = "plain-syntax" > ; < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > < = < / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > ; < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > ++) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > switch< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > )) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > case< / span > < span class = "plain-syntax" > < / span > < span class = "character-syntax" > '$'< / span > < span class = "plain-syntax" > :< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > +1) == < / span > < span class = "character-syntax" > '$'< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > ++;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > math_mode< / span > < span class = "plain-syntax" > = (< / span > < span class = "identifier-syntax" > math_mode< / span > < span class = "plain-syntax" > )?< / span > < span class = "identifier-syntax" > FALSE:TRUE< / span > < span class = "plain-syntax" > ; < / span > < span class = "reserved-syntax" > break< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > case< / span > < span class = "plain-syntax" > < / span > < span class = "character-syntax" > '~'< / span > < span class = "plain-syntax" > : < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > math_mode< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > " "< / span > < span class = "plain-syntax" > ); < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "~"< / span > < span class = "plain-syntax" > ); < / span > < span class = "reserved-syntax" > break< / span > < span class = "plain-syntax" > ;< / span >
2020-04-27 22:43:23 +00:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > case< / span > < span class = "plain-syntax" > < / span > < span class = "character-syntax" > '\\'< / span > < span class = "plain-syntax" > : < / span > < span class = "named-paragraph-container code-font" > < a href = "5-tu.html#SP7_4" class = "named-paragraph-link" > < span class = "named-paragraph" > Do something to strip out a TeX macro< / span > < span class = "named-paragraph-number" > 7.4< / span > < / a > < / span > < span class = "plain-syntax" > ; < / span > < span class = "reserved-syntax" > break< / span > < span class = "plain-syntax" > ;< / span >
2020-04-26 12:07:06 +00:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > default:< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > )); < / span > < span class = "reserved-syntax" > break< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
< / pre >
< p class = "commentary firstcommentary" > < a id = "SP7_1" > < / a > < b > § 7.1. < / b > Here we remove < span class = "extract" > < span class = "extract-syntax" > {{top}\over{bottom}}< / span > < / span > , converting it to < span class = "extract" > < span class = "extract-syntax" > ((top) / (bottom))< / span > < / span > .
< / p >
< p class = "commentary" > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Remove the over construction< / span > < span class = "named-paragraph-number" > 7.1< / span > < / span > < span class = "comment-syntax" > =< / span >
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > ) == < / span > < span class = "character-syntax" > '\\'< / span > < span class = "plain-syntax" > ) & & < / span >
< span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > +1) == < / span > < span class = "character-syntax" > 'o'< / span > < span class = "plain-syntax" > ) & & (< / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > +2) == < / span > < span class = "character-syntax" > 'v'< / span > < span class = "plain-syntax" > ) & & < / span >
< span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > +3) == < / span > < span class = "character-syntax" > 'e'< / span > < span class = "plain-syntax" > ) & & (< / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > +4) == < / span > < span class = "character-syntax" > 'r'< / span > < span class = "plain-syntax" > ) & & < / span >
< span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > +5) == < / span > < span class = "character-syntax" > '{'< / span > < span class = "plain-syntax" > )) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > bl< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 1< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > j< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > -1;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > for< / span > < span class = "plain-syntax" > (; < / span > < span class = "identifier-syntax" > j< / span > < span class = "plain-syntax" > > = < / span > < span class = "identifier-syntax" > from< / span > < span class = "plain-syntax" > ; < / span > < span class = "identifier-syntax" > j< / span > < span class = "plain-syntax" > --) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > c< / span > < span class = "plain-syntax" > = < / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > j< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > c< / span > < span class = "plain-syntax" > == < / span > < span class = "character-syntax" > '{'< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > bl< / span > < span class = "plain-syntax" > --;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > bl< / span > < span class = "plain-syntax" > == < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) < / span > < span class = "reserved-syntax" > break< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > c< / span > < span class = "plain-syntax" > == < / span > < span class = "character-syntax" > '}'< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > bl< / span > < span class = "plain-syntax" > ++;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < a href = "5-tu.html#SP7" class = "function-link" > < span class = "function-syntax" > TeXUtilities::remove_math_mode_range< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > from< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > j< / span > < span class = "plain-syntax" > -1);< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "(("< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "5-tu.html#SP7" class = "function-link" > < span class = "function-syntax" > TeXUtilities::remove_math_mode_range< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > j< / span > < span class = "plain-syntax" > +2, < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > -2);< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > ") / ("< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > j< / span > < span class = "plain-syntax" > =< / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > +6; < / span > < span class = "identifier-syntax" > bl< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 1< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > for< / span > < span class = "plain-syntax" > (; < / span > < span class = "identifier-syntax" > j< / span > < span class = "plain-syntax" > < = < / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > ; < / span > < span class = "identifier-syntax" > j< / span > < span class = "plain-syntax" > ++) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > c< / span > < span class = "plain-syntax" > = < / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > j< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > c< / span > < span class = "plain-syntax" > == < / span > < span class = "character-syntax" > '}'< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > bl< / span > < span class = "plain-syntax" > --;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > bl< / span > < span class = "plain-syntax" > == < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) < / span > < span class = "reserved-syntax" > break< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > c< / span > < span class = "plain-syntax" > == < / span > < span class = "character-syntax" > '{'< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > bl< / span > < span class = "plain-syntax" > ++;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < a href = "5-tu.html#SP7" class = "function-link" > < span class = "function-syntax" > TeXUtilities::remove_math_mode_range< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > +6, < / span > < span class = "identifier-syntax" > j< / span > < span class = "plain-syntax" > -1);< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "))"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "5-tu.html#SP7" class = "function-link" > < span class = "function-syntax" > TeXUtilities::remove_math_mode_range< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > j< / span > < span class = "plain-syntax" > +2, < / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< / pre >
< ul class = "endnotetexts" > < li > This code is used in < a href = "5-tu.html#SP7" > § 7< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP7_2" > < / a > < b > § 7.2. < / b > Here we remove < span class = "extract" > < span class = "extract-syntax" > {\rm text}< / span > < / span > , converting it to < span class = "extract" > < span class = "extract-syntax" > text< / span > < / span > , and similarly < span class = "extract" > < span class = "extract-syntax" > \it< / span > < / span > .
< / p >
< p class = "commentary" > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Remove the rm and it constructions< / span > < span class = "named-paragraph-number" > 7.2< / span > < / span > < span class = "comment-syntax" > =< / span >
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > ) == < / span > < span class = "character-syntax" > '{'< / span > < span class = "plain-syntax" > ) & & (< / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > +1) == < / span > < span class = "character-syntax" > '\\'< / span > < span class = "plain-syntax" > ) & & < / span >
< span class = "plain-syntax" > (((< / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > +2) == < / span > < span class = "character-syntax" > 'r'< / span > < span class = "plain-syntax" > ) & & (< / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > +3) == < / span > < span class = "character-syntax" > 'm'< / span > < span class = "plain-syntax" > )) ||< / span >
< span class = "plain-syntax" > ((< / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > +2) == < / span > < span class = "character-syntax" > 'i'< / span > < span class = "plain-syntax" > ) & & (< / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > +3) == < / span > < span class = "character-syntax" > 't'< / span > < span class = "plain-syntax" > ))) & & < / span >
< span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > +4) == < / span > < span class = "character-syntax" > ' '< / span > < span class = "plain-syntax" > )) {< / span >
< span class = "plain-syntax" > < / span > < a href = "5-tu.html#SP7" class = "function-link" > < span class = "function-syntax" > TeXUtilities::remove_math_mode_range< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > from< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > -1);< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > j< / span > < span class = "plain-syntax" > =< / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > +5;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > for< / span > < span class = "plain-syntax" > (; < / span > < span class = "identifier-syntax" > j< / span > < span class = "plain-syntax" > < = < / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > ; < / span > < span class = "identifier-syntax" > j< / span > < span class = "plain-syntax" > ++)< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > j< / span > < span class = "plain-syntax" > ) == < / span > < span class = "character-syntax" > '}'< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > break< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < a href = "5-tu.html#SP7" class = "function-link" > < span class = "function-syntax" > TeXUtilities::remove_math_mode_range< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > +5, < / span > < span class = "identifier-syntax" > j< / span > < span class = "plain-syntax" > -1);< / span >
< span class = "plain-syntax" > < / span > < a href = "5-tu.html#SP7" class = "function-link" > < span class = "function-syntax" > TeXUtilities::remove_math_mode_range< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > j< / span > < span class = "plain-syntax" > +1, < / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< / pre >
< ul class = "endnotetexts" > < li > This code is used in < a href = "5-tu.html#SP7" > § 7< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP7_3" > < / a > < b > § 7.3. < / b > Here we remove < span class = "extract" > < span class = "extract-syntax" > \sqrt{N}< / span > < / span > , converting it to < span class = "extract" > < span class = "extract-syntax" > sqrt(N)< / span > < / span > . As a special case,
we also look out for < span class = "extract" > < span class = "extract-syntax" > {}^3\sqrt{N}< / span > < / span > for cube root.
< / p >
< p class = "commentary" > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Remove the sqrt constructions< / span > < span class = "named-paragraph-number" > 7.3< / span > < / span > < span class = "comment-syntax" > =< / span >
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > ) == < / span > < span class = "character-syntax" > '\\'< / span > < span class = "plain-syntax" > ) & & < / span >
< span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > +1) == < / span > < span class = "character-syntax" > 's'< / span > < span class = "plain-syntax" > ) & & (< / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > +2) == < / span > < span class = "character-syntax" > 'q'< / span > < span class = "plain-syntax" > ) & & < / span >
< span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > +3) == < / span > < span class = "character-syntax" > 'r'< / span > < span class = "plain-syntax" > ) & & (< / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > +4) == < / span > < span class = "character-syntax" > 't'< / span > < span class = "plain-syntax" > ) & & < / span >
< span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > +5) == < / span > < span class = "character-syntax" > '{'< / span > < span class = "plain-syntax" > )) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > -4) == < / span > < span class = "character-syntax" > '{'< / span > < span class = "plain-syntax" > ) & & < / span >
< span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > -3) == < / span > < span class = "character-syntax" > '}'< / span > < span class = "plain-syntax" > ) & & < / span >
< span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > -2) == < / span > < span class = "character-syntax" > '^'< / span > < span class = "plain-syntax" > ) & & < / span >
< span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > -1) == < / span > < span class = "character-syntax" > '3'< / span > < span class = "plain-syntax" > )) {< / span >
< span class = "plain-syntax" > < / span > < a href = "5-tu.html#SP7" class = "function-link" > < span class = "function-syntax" > TeXUtilities::remove_math_mode_range< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > from< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > -5);< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > " curt("< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > {< / span >
< span class = "plain-syntax" > < / span > < a href = "5-tu.html#SP7" class = "function-link" > < span class = "function-syntax" > TeXUtilities::remove_math_mode_range< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > from< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > -1);< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > " sqrt("< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > j< / span > < span class = "plain-syntax" > =< / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > +6, < / span > < span class = "identifier-syntax" > bl< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 1< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > for< / span > < span class = "plain-syntax" > (; < / span > < span class = "identifier-syntax" > j< / span > < span class = "plain-syntax" > < = < / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > ; < / span > < span class = "identifier-syntax" > j< / span > < span class = "plain-syntax" > ++) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > c< / span > < span class = "plain-syntax" > = < / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > j< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > c< / span > < span class = "plain-syntax" > == < / span > < span class = "character-syntax" > '}'< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > bl< / span > < span class = "plain-syntax" > --;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > bl< / span > < span class = "plain-syntax" > == < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) < / span > < span class = "reserved-syntax" > break< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > c< / span > < span class = "plain-syntax" > == < / span > < span class = "character-syntax" > '{'< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > bl< / span > < span class = "plain-syntax" > ++;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < a href = "5-tu.html#SP7" class = "function-link" > < span class = "function-syntax" > TeXUtilities::remove_math_mode_range< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > +6, < / span > < span class = "identifier-syntax" > j< / span > < span class = "plain-syntax" > -1);< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > ")"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "5-tu.html#SP7" class = "function-link" > < span class = "function-syntax" > TeXUtilities::remove_math_mode_range< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > j< / span > < span class = "plain-syntax" > +1, < / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< / pre >
< ul class = "endnotetexts" > < li > This code is used in < a href = "5-tu.html#SP7" > § 7< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP7_4" > < / a > < b > § 7.4. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Do something to strip out a TeX macro< / span > < span class = "named-paragraph-number" > 7.4< / span > < / span > < span class = "comment-syntax" > =< / span >
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TEMPORARY_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > ++;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > while< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > < < / span > < a href = "../foundation-module/4-sm.html#SP8" class = "function-link" > < span class = "function-syntax" > Str::len< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > )) & & (< / span > < a href = "../foundation-module/4-chr.html#SP1" class = "function-link" > < span class = "function-syntax" > Characters::isalpha< / span > < / a > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > ))))< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > PUT_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > ++));< / span >
2020-04-27 22:43:23 +00:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "not"< / span > < span class = "plain-syntax" > )) < / span > < span class = "named-paragraph-container code-font" > < a href = "5-tu.html#SP7_4_2" class = "named-paragraph-link" > < span class = "named-paragraph" > Remove the not prefix< / span > < span class = "named-paragraph-number" > 7.4.2< / span > < / a > < / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "5-tu.html#SP7_4_1" class = "named-paragraph-link" > < span class = "named-paragraph" > Remove a general macro< / span > < span class = "named-paragraph-number" > 7.4.1< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2020-04-26 12:07:06 +00:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > DISCARD_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > --;< / span >
< / pre >
< ul class = "endnotetexts" > < li > This code is used in < a href = "5-tu.html#SP7" > § 7< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP7_4_1" > < / a > < b > § 7.4.1. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Remove a general macro< / span > < span class = "named-paragraph-number" > 7.4.1< / span > < / span > < span class = "comment-syntax" > =< / span >
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "leq"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "< ="< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "geq"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "> ="< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "sim"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "~"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "hbox"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > ""< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "left"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > ""< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "right"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > ""< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "Rightarrow"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "=> "< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "Leftrightarrow"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "< => "< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "to"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "--> "< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "rightarrow"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "--> "< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "longrightarrow"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "--> "< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "leftarrow"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "< --"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "longleftarrow"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "< --"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "lbrace"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "{"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "mid"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "|"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "rbrace"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "}"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "cdot"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "."< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "cdots"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "..."< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "dots"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "..."< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "times"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "*"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "quad"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > " "< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "qquad"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > " "< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "TeX"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "TeX"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "neq"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "!="< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "noteq"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "!="< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "ell"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "l"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "log"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "log"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "exp"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "exp"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "sin"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "sin"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "cos"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "cos"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "tan"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "tan"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "top"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "T"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "Alpha"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x0391< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "Beta"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x0392< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "Gamma"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x0393< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "Delta"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x0394< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "Epsilon"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x0395< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "Zeta"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x0396< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "Eta"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x0397< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "Theta"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x0398< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "Iota"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x0399< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "Kappa"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x039A< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "Lambda"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x039B< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "Mu"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x039C< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "Nu"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x039D< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "Xi"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x039E< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "Omicron"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x039F< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "Pi"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03A0< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "Rho"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03A1< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "Varsigma"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03A2< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "Sigma"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03A3< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "Tau"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03A4< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "Upsilon"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03A5< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "Phi"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03A6< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "Chi"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03A7< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "Psi"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03A8< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "Omega"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03A9< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "alpha"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03B1< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "beta"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03B2< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "gamma"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03B3< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "delta"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03B4< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "epsilon"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03B5< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "zeta"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03B6< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "eta"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03B7< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "theta"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03B8< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "iota"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03B9< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "kappa"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03BA< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "lambda"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03BB< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "mu"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03BC< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "nu"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03BD< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "xi"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03BE< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "omicron"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03BF< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "pi"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03C0< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "rho"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03C1< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "varsigma"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03C2< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "sigma"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03C3< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "tau"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03C4< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "upsilon"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03C5< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "phi"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03C6< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "chi"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03C7< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "psi"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03C8< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "omega"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03C9< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "exists"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x2203< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "in"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x2208< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "forall"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x2200< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "cap"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x2229< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "emptyset"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x2205< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "subseteq"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x2286< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "land"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x2227< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "lor"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x2228< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "lnot"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x00AC< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "sum"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03A3< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "prod"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x03A0< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP8" class = "function-link" > < span class = "function-syntax" > Str::len< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > ) > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > suspect< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_THROUGH_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > pos< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > c< / span > < span class = "plain-syntax" > = < / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > pos< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > c< / span > < span class = "plain-syntax" > > = < / span > < span class = "character-syntax" > 'A'< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > c< / span > < span class = "plain-syntax" > < = < / span > < span class = "character-syntax" > 'Z'< / span > < span class = "plain-syntax" > )) < / span > < span class = "reserved-syntax" > continue< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > c< / span > < span class = "plain-syntax" > > = < / span > < span class = "character-syntax" > 'a'< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > c< / span > < span class = "plain-syntax" > < = < / span > < span class = "character-syntax" > 'z'< / span > < span class = "plain-syntax" > )) < / span > < span class = "reserved-syntax" > continue< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > suspect< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "n"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > suspect< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "t"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > suspect< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > suspect< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > PRINT< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "[Passing through unknown TeX macro \\%S:\n %S\n"< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "\\%S"< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< / pre >
< ul class = "endnotetexts" > < li > This code is used in < a href = "5-tu.html#SP7_4" > § 7.4< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP7_4_2" > < / a > < b > § 7.4.2. < / b > For Inform's purposes, we need to deal with just < span class = "extract" > < span class = "extract-syntax" > \not\exists< / span > < / span > and < span class = "extract" > < span class = "extract-syntax" > \not\forall< / span > < / span > .
< / p >
< p class = "commentary" > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Remove the not prefix< / span > < span class = "named-paragraph-number" > 7.4.2< / span > < / span > < span class = "comment-syntax" > =< / span >
< / p >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > ) == < / span > < span class = "character-syntax" > '\\'< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < a href = "../foundation-module/4-sm.html#SP15" class = "function-link" > < span class = "function-syntax" > Str::clear< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > ++;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > while< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > < < / span > < a href = "../foundation-module/4-sm.html#SP8" class = "function-link" > < span class = "function-syntax" > Str::len< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > )) & & (< / span > < a href = "../foundation-module/4-chr.html#SP1" class = "function-link" > < span class = "function-syntax" > Characters::isalpha< / span > < / a > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > ))))< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > PUT_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < a href = "../foundation-module/4-sm.html#SP13" class = "function-link" > < span class = "function-syntax" > Str::get_at< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > ++));< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "exists"< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x2204< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "../foundation-module/4-sm.html#SP19" class = "function-link" > < span class = "function-syntax" > Str::eq< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "forall"< / span > < span class = "plain-syntax" > )) { < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x00AC< / span > < span class = "plain-syntax" > ); < / span > < span class = "identifier-syntax" > PUT< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > wchar_t< / span > < span class = "plain-syntax" > ) < / span > < span class = "constant-syntax" > 0x2200< / span > < span class = "plain-syntax" > ); }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > PRINT< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "Don't know how to apply '\\not' to '\\%S'\n"< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > macro< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > PRINT< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "Don't know how to apply '\\not' here\n"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< / pre >
< ul class = "endnotetexts" > < li > This code is used in < a href = "5-tu.html#SP7_4" > § 7.4< / a > .< / li > < / ul >
2020-04-30 22:36:38 +00:00
< nav role = "progress" > < div class = "progresscontainer" >
< ul class = "progressbar" > < li class = "progressprev" > < a href = "5-df.html" > ❮ < / a > < / li > < li class = "progresschapter" > < a href = "M-iti.html" > M< / a > < / li > < li class = "progresschapter" > < a href = "P-htpw.html" > P< / a > < / li > < li class = "progresschapter" > < a href = "1-bsc.html" > 1< / a > < / li > < li class = "progresschapter" > < a href = "2-tr.html" > 2< / a > < / li > < li class = "progresschapter" > < a href = "3-ta.html" > 3< / a > < / li > < li class = "progresschapter" > < a href = "4-pl.html" > 4< / a > < / li > < li class = "progresscurrentchapter" > 5< / li > < li class = "progresssection" > < a href = "5-wt.html" > wt< / a > < / li > < li class = "progresssection" > < a href = "5-fm.html" > fm< / a > < / li > < li class = "progresssection" > < a href = "5-ptf.html" > ptf< / a > < / li > < li class = "progresssection" > < a href = "5-tf.html" > tf< / a > < / li > < li class = "progresssection" > < a href = "5-hf.html" > hf< / a > < / li > < li class = "progresssection" > < a href = "5-df.html" > df< / a > < / li > < li class = "progresscurrent" > tu< / li > < li class = "progresschapter" > < a href = "6-mkf.html" > 6< / a > < / li > < li class = "progressnext" > < a href = "6-mkf.html" > ❯ < / a > < / li > < / ul > < / div >
< / nav > <!-- End of weave -->
2020-04-26 12:07:06 +00:00
< / main >
< / body >
< / html >
