Move to_char() and to_string() to notation