and end with a double quote character
(<code>"</code>). The characters between the double quote characters may be
any byte sequence, with the exception of the double quote character.</p>
<p>The Stan interfaces preserve the byte sequences which they receive.
The encoding of these byte sequences as characters and their rendering
as glyphs will be handled by whatever display mechanism is being used to
monitor Stan’s output (e.g., a terminal, a Jupyter notebook, RStudio, etc.).
Stan does not enforce a charact