# Re: new double sized operators:

• To: math-font-discuss@cogs.susx.ac.uk
• Subject: Re: new double sized operators:
• From: alanje@cogs.susx.ac.uk (Alan Jeffrey)
• Date: Tue, 17 Aug 93 13:36 BST

>    \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.