dvojbodka v kruzku

[Stepan Kasal]

On 18 Mar 1998 10:15:59 +0100, Rudo Blasko <beerb at frcatel.utc.sk> wrote:
> (t.j. nieco ako \ocolon keby to existovalo).

Dobry den,
  lze presadit pres sebe krouzek a dvojtecku, jak uvadim nize, ale narazil
jsem na problem: kde sebrat krouzek. Znalci poradte -- wasy?...
  Druha moznost je pouzit zmensene \bigcirc, ale to ma trochu tlustou caru.
(Odbornici rikaji duktus?) Tato moznost je v me ukazce uvedena v komentari:

\def\ocolon{\mathbin{\vcenter{\copy\ocolonbox}}}
\newbox\ocolonbox
\font\colonfont=cmr9
% \font\circlefont=cmsy10 at 8pt
% \setbox0=\hbox{\circlefont\char13}  % to je \bigcirc
\font\circlefont=cmsy8
\setbox0=\hbox{$\ominus$}
\setbox\ocolonbox=\hbox to\wd0{\hfil\raise.5pt
  \hbox{\colonfont:}\hfil\llap{\unhbox0}}
%
A ted to vyzkousime: $b \ocolon c \otimes d$
\bye
			Stepan Kasal