how can i escape a string while using string-append?

(string-append "foo\nbar" "baz")

The escaping belongs to the syntax of string literals. So strictly speaking string-append has nothing to do with escaping.

Is there an obvious way in Scribble to make counters that know about section numbering? For example, in section 1.3, a counter for theorems that runs 1.3.1, 1.3.2, and so on. If it’s not obvious, any pointers as to how to go about it? I’m using scribble/manual and rendering to HTML. Thanks.

@plragde I don’t think so, but that level of question is more likely to get a helpful answer in #general

Okay, I’ll repost, thanks.