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

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

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