[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: new double sized operators:

>    \item Two sized $\bigcirc$ with $\vee$ inside.  $\bigcirc
>      \!\!\!\!\!\vee$ proposed name: \cn{ovee}, and \cn{bigovee}.
>      cspex

Ah these are in cspex are they...  Jim, does this mean you've actually
used them?  Perhaps I should take back my comments!

>    \item A wide Dijkstra choice. CSPEX

If this is the glyph I think it is, it's not quite a wide Dijkstra
choice in shape (although mathematically it's the same thing as
Dijkstra choice).  The two glyphs are:

   <dijkstrachoice> looks remarkably like [ and ] glued together.

   <oblong> looks like <sqcap> but with the square completed.

<oblong> is used in CSP in conjunction with <sqcap>, so it's quite
important that they look the same.  In particular, then need to be of
the same width since if they're not formulae sometimes don't line up
properly...

>  \item An inverted \& . \cn{nasrepma}

If this is needed, we should include a large \& as well.

Alan.