Finding terms

Content identification:

• exactly the same, including formatting
• the same term structure, including variable names
• the same term structure, ignoring variable names

Term indexing more generally.