add symbols and use them