IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Nonword Material: mathematical formulas
Independent of the Latex article formatting their is a generic method for converting Nuprl text to Latex. This method is invoked when (in recursive descent) any form of text is encountered that has not been given a special Latex article connotation, mathematical formulas being typical; it is also forced when
The character conversions to latex are as specified in latex_math_symbol_table (see Default Latex Math Symbols) and latex_nonmath_symbol_table, unless special Latex display forms are used. Special Latex display forms will not be employed to display texts actively, but are applied when Latex conversion is done. Examples of Latex-specific display forms are pair_df_latex, which used <SPECIALREMARK,pair_df_latex> instead of large, sharp angles for brackets for expressions of the form "<a,b>", and iabstraction_df_latex which uses SPECIALREMARK == iabstraction_df_latex for operator defining expressions of form "lhs == rhs". See Latex Display Forms.
When a nonword text fits on a line then it is "inlined" with a suggestion to Latex not to break it. Otherwise the text is set off and indented using a tabbing environment to effect left-margin control; other vertical alignments that might appear in the active Nuprl text will be lost. Simple tables can be effected in words mode as explained in Tables.
Because the line breaking and indentation for non-words text is performed by Nuprl and not Latex, the discrepancy between text length as reckoned by Nuprl and by Latex is approximately resolved by specifying an exemplary formula (see Article Profile); if a short text is given it will default to the text in NTLA_profile_sfaSTD_defaultwidsample which is currently
x:().
abc:{u:()| u = x(0) }.
x:(). abc:{u:()| uvw = x(0) }. x:(). {u:()| u = x(0) }
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
x:(
abc:{u:(
