EditorDoc Sections Nuprl Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

Special Nuprl Display Forms for Latex

As mentioned in Latexing Nonword Material, it is possible to get the benefits of the Nuprl display algorithm to create Latex-specific output even though such output has no use in active Nuprl texts. 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".

Since these special display forms are inactive when Nuprl display is active, one cannot find the display form by clicking on a example of its use, but instead one can use the DformSpecsForTerm on an operator instance to find all its display form specs, even those that are not in current active use (this button was copied from the DisplayForm EditMenu).

These display forms are created like other Nuprl display forms, but mention special formatting commands for Latex code generation:

LATEX:$wid. generates the Latex code filling the LATEX position but treats it for purposes of Nuprl layout control as though it occupied $wid characters, the special case of width 1 being LATEX. Various specializations have been defined as macros.
 
$LATEX$:$wid inserts $ signs around LATEX for math mode.
 
$\LATEX$:$wid is further specialized to force the backslash.
 
LatexSUB{TEXT} generates TEXT as a Latex subscript.
 
LatexSUP{TEXT} generates TEXT as a Latex superscript.
 
TOP(Latex)/BOTTOM generates the over/under form.

Display forms designed for use with Latex should be given the attribute: latex_dform_marker

About:
pairnatural_number!abstraction
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

EditorDoc Sections Nuprl Doc