format_support.rb: map '\' escape sequences to '\'.