symbolic languages