Changed '\tilde' and '\bslash' to the standard '\textasciitilde' and

'\textbackslash'.