[m-rev.] for post-commit review: introduction section

[Mark Brown]

On Tue, Mar 21, 2023 at 9:24 PM Zoltan Somogyi
<zoltan.somogyi at runbox.com> wrote:
>
> For review by Mark.

That looks good, thanks.

>  whereas when the discussion is from a semantic or declarative point of view
> -we will use conventional mathematical notation.
> +we will use conventional mathematical notation in $this$ font.
> +% The output latex generates for "$this\ font$" looks ugly.
>  Similarly,

I've defined a \sym{} command for an italic font that can be used in
math mode (i.e., with non-math spacing), and also \ssym{} with extra
space beforehand.

I've pushed a fix for this.

Cheers,
Mark