Symbols, terms and definitions

TODO