[texhax] the role of the tilde "~" in the set definition

Sat Oct 17 11:10:26 CEST 2009

```P. R. Stanley wrote:
> Hi folks
> Here's another one taken from the Spivey text on the z (pronounced zed)
> language:
>     \[ \{~p: PERSON | age(p) \geq 16~\} \]
>     A simple set definition. Any idea what the "~" is supposed to do?
>
> many thanks
> Paul
>
> _______________________________________________
> TeX FAQ: http://www.tex.ac.uk/faq
> Mailing list archives: http://tug.org/pipermail/texhax/
>
> Automated subscription management: http://tug.org/mailman/listinfo/texhax
> Human mailing list managers: postmaster at tug.org

it usually represents a non-breakable space

in math is doesn't really have any meaning, I'm guessing here that the
author is misusing it to provide some extra space instead of using a say
\ followed by a space.

/daleif
```