% SearchMacros.tex of April 3, 1984 7:41:53 pm PST --- Stolfi
% Dummy macros to facilitate searches and substitutes on item numbers
% (theorems, algorithms, sections+subsections, equations, figures)
% For the idea to work, within the same file all references to the same
% item must use EXACTLY the same string, and this string must be
% distinct from the one used for any other item.
% In partiicular, the use of braces and spaces must be consistent:
% either \Th5 or \Th{5}, but not both. References to items within
% other items must use a nested format: you must use
% ``theorem \Th{\Sec5.17}'',
% and NOT "theorem \Sec5.\Th{17} or ``theorem \Th{17} of section \Sec5''.
% SPECIAL OBSERVATIONS FOR BOOK FORMAT: It is OK to have a "local"
% naming scheme, so that for example "theorem \Th{17}" means
% "theorem \Th{17} of the current chapter", AS LONG AS (i) this
% usage is applied consitently, (ii) the file contains only one
% chapter, or part thereof, and (iii) references to items in other
% chapters are fully qualified, as "theorem \Th{\Ch{10}.3}".
% Note that, if local naming is used as described above,
% section HEADERS must be either "\section{\Sec5. Blah blah}" or
% "\section{\Ch3.\Sec5. Blah blah}"
% rather than "\section{\Sec{\Ch3.5}. Blah blah}", because of rule (i).
% Similarly, subsection HEADERS must be
% "\subsection{\Sbsec{\Sec5.1}. Blah}" or
% "\subsection{\Ch3.\Sbsec{\Sec5.1}. Blah}",
% rather than "\subsection{\Ch3.\Sbsec{\Sec5.1}. Blah}".
\def\Prob#1{{#1}} % problem number
\def\Prog#1{{#1}} % program number
\def\Th#1{{#1}} % theorem or lemma number
\def\Fig#1{{#1}} % figure number
\def\Def#1{{#1}} % definition number
\def\Sec#1{{#1}} % section number
\def\Sbsec#1{{#1}} % subsection number
\def\Eq#1{{#1}} % equation number
\def\Ch#1{{#1}} % chapter number
\def\Alg#1{{#1}} % algorithm number
\def\Step#1{{#1}} % step number