Title: [Definition of symbol