retrieve the list of symbols from database as contents instead of hardcoding the list in PHP code