Escaping a special character in the documentation.