In fact, for now I'm going to eliminate the use of \\(V\\) to stand for the underlying set of the monoidal preorder \\(\mathcal{V}\\). I've changed my lecture as follows:

> We'll start by picking a symmetric monoidal poset \\(( \mathcal{V},\leq,\otimes,I)\\), like \\(\mathbf{Bool}\\) or \\(\mathbf{Cost}\\).

I may regret this, but this is more like what we've been saying up to now, except for the funky new calligraphic font.

> We'll start by picking a symmetric monoidal poset \\(( \mathcal{V},\leq,\otimes,I)\\), like \\(\mathbf{Bool}\\) or \\(\mathbf{Cost}\\).

I may regret this, but this is more like what we've been saying up to now, except for the funky new calligraphic font.