user symbolic errors