Symbol: TK_DBCOLON