use double quotes to interpolate backslash sequences in synopsis