use of "restricted product" symbol (\prod and \coprod together)



(Apologies if this is mildly offtopic.)

I'm looking for examples of uses of the symbol which looks like a
superimposed \prod and \coprod (or, more accurately, a product
operator whose bottom half is a mirror copy of the top half by a
horizontal axis). I'd like to suggest the addition of this character
to Unicode/ISO-10646, so the more examples I can find the more
convincing the proposal will be.

See <URL: http://www.madore.org/~david/.misc/biproduct/test.pdf > (or
test.png in the same directory) for an example (made up) formula using
this symbol. The files biproduct.{pfb,tfm} in the same directory
contain a font having the character in question.

The typical (only?) use of this symbol is in number theory to denote a
"restricted product" over places of a number field (meaning the
elements of the full product which are integral/unramified at all but
finitely many places). One example is in (at least certain editions
of) Serre's *Galois Cohomology*, in the presentation of the
Poitou-Tate sequence (page 118 of at least one edition of the book,
but I don't have it presently at hand). Unfortunately, even in this
context, it doesn't seem very common: many authors use a \prod with a
prime or something like this instead.

Thanks!

--
David A. Madore
(david.madore@xxxxxx,
http://www.madore.org/~david/ )

.



Relevant Pages

  • Re: How to amplify 15uV, 1.2kHz signal to read on Scopemeter
    ... "Suzy the Self Appointed Net Kop Mad Bitch " ... Apologies for this Aus character. ...
    (sci.electronics.basics)
  • Re: Windows Notepad
    ... Apologies, apologies. ... The weird character that I was talking about was ... I have already changed the font as I want to use ... Are you talking about Wordpad or Notepad? ...
    (microsoft.public.windowsxp.basics)
  • Re: Email Sorting
    ... Apologies for answering a question with a question. ... Would it be possible abstract all character after the '@' and use that as a ... Bill Ridgeway ...
    (microsoft.public.excel)
  • CUPS printing problem
    ... My apologies to the list. ... Below is the original message with some pertinent log info. ... (IPv4) ... character ':'... ...
    (freebsd-questions)
  • Re: echo charecter program...
    ... It's working OK but prints a extra prompt between every ... character. ... Apologies for the double post. ... Nokia ...
    (comp.lang.c)

Quantcast