void	symbol( char *, int, int, char * );