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.