Operator ze dvou znaku

[Vitezslav Sevcik]

On Wed, 21 Jan 2004, David Necas (Yeti) wrote:

> On Wed, Jan 21, 2004 at 07:42:34PM +0100, Vitezslav Sevcik wrote:
> >
> > mam nasledujici problem, potrebuji vytvorit novy binarni matematicky
> > operator slozeny ze dvou znaku (podobne jako je udelany napr
> > \rightleftharpoons).
> >
> > Jde mi o jakysi reciproky operator k '\uplus', byl by slozen z operatoru
> > (ci spise "znaku") '\cap' a '\cdot'. (Rekneme novy bin. operator
> > '\ncdot'.)
> >
> > Vhodne by bylo, aby tento operator byl i ve verzi pro "ruzne velikosti".
> > (Napr. '\bigncdot' oproti '\biguplus'.)
> >
> Jako vsechno ostatni, i toto je jako priklad v TBN ;-)
>
> Ma to drobny problem, \cdot je prilis maly. Presneji receno,
> pro \ncdot je celkem pouzitelny; pokud nebudete tisknout

Vyloupenim ruznych kodu jsem dospel ke konecnemu reseni (podle toho to
take vypada). Vystup neni optimalni, ale pouziji ho. Za pripadne opravy
teto slataniny budu vdecny:

\DeclareFontFamily{U}{lcirc}{}
\DeclareFontShape{U}{lcirc}{m}{n}{<-> lcircle10}{}
\DeclareSymbolFont{circles}{U}{lcirc}{m}{n}

\newcommand{\jdotfont}{\fontencoding{U}\fontfamily{lcirc}\selectfont}
\newcommand{\osbullet}{\jdotfont\char113}
\newlength{\sbwd} \settowidth{\sbwd}{\osbullet}
\newcommand{\csbullet}{\kern.5\sbwd\osbullet\kern-.5\sbwd}
\newcommand{\bigcdot}{\DOTSB
  \mathop{\mkern1mu\vcenter{\hbox{\csbullet}}\mkern1mu}}

\makeatletter
\def\buildncdot#1#2{\ooalign{\hfil$#1\m at th\cdot$\hfil\cr$#1\m at th#2$\cr}}
\def\ncdot{\mathbin{\mathpalette\buildncdot\cap}}
\def\buildbncdot#1#2{\ooalign{\hfil$#1\m at th\bigcdot$\hfil\cr$#1\m at th#2$\cr}}
\def\bigncdot{\mathbin{\mathpalette\buildbncdot\bigcap}}
\makeatother

S pozdravem

V. Sevcik