symbols

Definition of additional symbols, mostly useful for C++.