: symbol