18 Gennaio 2007 alle 11:57
#12114
::
Salve raga, credo di aver cercato per quanto mi è stato possibile. Ma non riesco a trovare il comando matematico per inserire un JOIN ESTERNO! Ho trovato quello di JOIN ma quello esterno non riesco a trovarlo…qualcuno sà qual’è??? 🙄
Da quello che ho trovato in giro, sarebbe un \bowtie con aggiunte lineette orizzontali agli angoli, giusto?
Temo di non averlo mai visto in alcuna pubblicazione. Ci provo:
`\newcommand{\ojoinaux}{\setbox0=\hbox{$\bowtie$}%
\rule[-.02ex]{.25em}{.4pt}\llap{\rule[\ht0]{.25em}{.4pt}}}
\newcommand{\ojoin}{\mathbin{\ojoinaux\mkern-5.6mu\bowtie\mkern-5.7mu\ojoinaux}`
Il comando da usare diventa \ojoin:
`$A\ojoin B$`
Ciao
Enrico