F diff --git a/g.tmac b/g.tmac --- a/g.tmac +++ b/g.tmac.ds theorem_string Theorem.ds proof_string Proof\#########################################################################+ .nr header_text_from_top_spacing 1+ .nr header_line_from_text_spacing 0.3+ .nr header_real_text_from_line_spacing 0.3+ .nr header_horizontal_line 1+ .nr header_horizontal_line_thickness 0.5p+ \#########################################################################+ .nr indentation_is_by_how_much 0.5i+ \#########################################################################+ \#########################################################################+ \#########################################################################+ \#########################################################################+ \#########################################################################+ \#########################################################################+ \#########################################################################+ \#########################################################################.de place_footer_trap.wh -3v footer_trap_macro...wh 0..\#########################################################################- .nr header_text_from_top_spacing 1- .nr header_line_from_text_spacing 0.3- .nr header_real_text_from_line_spacing 0.3- .nr header_horizontal_line 1- .nr header_horizontal_line_thickness 0.5p- \#########################################################################.de paragraph.ti \\n[paragraph_indentation]..\}\}..+ \#########################################################################.de proof.br\f[B]\\*[proof_string]: \f[].br..\#########################################################################- .als newpage bp- .als newline br- \#########################################################################.de verbatim.ie '\\$1'end' .fi.el .nf..+ \#########################################################################+ .de right+ .br+ .if '\\$1'end' .in -\\n[indentation_is_by_how_much]+ .el .in \\n[indentation_is_by_how_much]+ ..+ \#########################################################################+ .als newpage bp+ .als newline br.ig.als параграф paragraph.als заглавие title