prodotto cartesiano, produttoria cartesiana

Salve a tutti,
avrei bisogno di un piccolo aiuto con il prodotto cartesiano, ovvero la x che corrisponde a \times.
Io dovrei utilizzare una produttoria cartesiana ovvero una X più grande per inserire agevolmente apici e pedici.
Dando un’occhiata in giro ho trovato solo \BigCross che però non va bene perché non riesco a caricare il pacchetto ifsym.
Io utilizzo TexnicCenter su XP.
Preambolo:
`\documentclass[a4paper,12pt ,titlepage]{book}

\usepackage[english,italian]{babel}
\usepackage[nouppercase]{frontespizio}
%\usepackage{front-th}%{noadvisor}
\usepackage{natbib}
\usepackage[latin1]{inputenc}
\usepackage{graphicx}
\usepackage[vcentering,hcentering]{geometry}
\usepackage{fancyhdr}
\usepackage{url}
\usepackage{varioref}
\usepackage{amsmath}
%\usepackage{amssymb}
\usepackage{amsfonts}
\usepackage{cases}
\usepackage{subfigure}
\usepackage{textcomp}
\usepackage{enumerate}
%\usepackage{indentfirst}
%\usepackage{amsthm}
\usepackage[amsmath,thmmarks,standard]{ntheorem}
\usepackage{bm} %boldmath
\usepackage{xcolor}
\usepackage{array} % vedi sotto
\usepackage{dcolumn} % per allineare i decimali nelle tabelle
\usepackage{tabularx} % per tabelle con celle multiriga-latex.pdf pag.95
\usepackage{afterpage}
\usepackage{eucal}
\usepackage{ifsym}
%per numerare solo le equazioni richiamate
%\usepackage{mathtools}
%\mathtoolsset{showonlyrefs}
%
\usepackage{algorithm}
\usepackage{algorithmic}
\usepackage[pdftex,hypertexnames=false]{hyperref}
\hypersetup{} % Queste informazioni non vengono stampate, ma sono conservate nel documento pdf (premere command-D per vederle sotto AdobeReader/AcrobatReader). Tornano buone a scopi archivistici.

% definizione ambiente teorema
\theoremstyle{plain}
\theoremheaderfont{\normalfont\bfseries}\theorembodyfont{\slshape}
\theoremsymbol{\ensuremath{\diamondsuit}}
\theoremseparator{.}
\newtheorem{teorema}{Teorema}[chapter]
% definizione ambiente esempio
\theoremstyle{plain}
\theorembodyfont{\upshape}
\theoremsymbol{\ensuremath{\blacktriangle}}
\theoremseparator{}
\newtheorem{esempio}{Esempio}[chapter]

% definizione ambiente definizione
\theoremstyle{plain}
\newtheorem{defn}{Definizione}[chapter]

\theoremstyle{plain}
\theorembodyfont{\upshape}
\theoremsymbol{\ensuremath{\blacktriangle}}
\theoremseparator{}
\newtheorem{prop}{Proprietà}[chapter]

\hyphenation{boot-strap}
%\hyphenation{ipoteti-co-de-dut-ti-vo}
%\hyphenation{ipo-te-ti-co-de-dut-ti-vo}
\newcommand{\vdashv}{\mathbin{\ooalign{$\vdash$\cr$\dashv$}}}%da mettere sopra

\renewcommand{\sectionmark}[1]{%
\renewcommand{\listalgorithmname}{Elenco degli algoritmi}
\renewcommand{\algorithmicif}{\textbf{SE}}
\renewcommand{\algorithmicthen}{\textbf{ALLORA}}
\renewcommand{\algorithmicelse}{\textbf{ALTRIMENTI}}
\renewcommand{\algorithmicendif}{}
}`

ed errore
`
no roomm for a new \count`

Inoltre spolpando ancora un po’ il web ho letto che non è utilizzabile per i miei scopi
perché il simbolo stesso è geometrico e non matematico, qualunque cosa voglia dire.

Qualcuno ha trovato una soluzione migliore al problema?
grazie a tutti
ciao