symbol tweaks. comment out diags
backslash-quotation to suppress symbol translation