def escape_char(c):
    """
    Return the special character that `c` encodes.

        >>> escape_char("n")
        "
"
    """
    if c == 'n':
        return '\n'
    elif c == 't':
        return '\t'
    elif c == '\\':
        return '\\'
    elif c == '"':
        return '"'
    else:
        return '\\' + c
