Hi, I would like to be able to automatically verify that mathematical symbols and terms are not used before they are defined. One way of doing this is to insert the math-macro in the same place in the symbol is defined. However this has two weaknesses. 1) This means that I cannot disable the error. So I cannot quickly draw up a draft proof without definitions of the symbols and print it. (At the moment I have a file with all my math-macros so that if I want to draft a proof I can just include that file). 2) This is only for symbols. It is not easy for terminology.

I already mark the place where new terms are defined so that they are added to the index. I am thinking of writing a quick script that uses this to determine whether the term is used before it is first defined. Ideally, in electronic versions of the document clicking on the term would take you back to the definition. Are there any existing solutions to this problem? -- John C. McCabe-Dansted