Jak zrobić tak piękny uogólniony produkt kartezjański? [duplikować]
W jednej z książek natrafiłem na tak piękne oznaczenie uogólnionego iloczynu kartezjańskiego. Długo próbowałem to powtórzyć i nic się nie stało.

Odpowiedzi

\documentclass{article}
\usepackage{amsmath,graphicx}
\newcommand{\bigX}{\mathchoice
{\raisebox{-.33\height}{\scalebox{2.07}{X}}}
{\raisebox{-.25\height}{\scalebox{1.47}{X}}}
{\raisebox{-.25\height}{\scalebox{1.03}{X}}}
{\raisebox{-.25\height}{\scalebox{0.73}{X}}}
}
\DeclareMathOperator*{\X}{\bigX}
\begin{document}
\[
[a, b) \cap [c, d) =
\X_{k = 1}^n \bigl( \max \{a_k, c_k\}, \min \{b_k, d_k\} \bigr)
\]
$ \displaystyle \prod \X \textstyle \prod \X \scriptstyle \prod \X \scriptscriptstyle \prod \X $
\end{document}
Wybór współczynników skalowania pochodzi z metody prób i błędów, aby dopasować go do \prod
:

\documentclass{article}
\usepackage{amsmath}
\DeclareMathOperator*{\X}{\text{\Large{X}}}
\begin{document}
\[ [a,b) \cap [c,d) = \overset{n}{\X_{k=1}} \left (\max\{ a_{k},c_{k}\}, \min\{ b_{k},d_{k}\} \right) \]
\end{document}

W zwykłym TeX-ie możemy napisać:
\font\bigrm=\fontname\textfont0 \space scaled2000
\def\X{\mathop{\vcenter{\hbox{\bigrm X}}}}
$$ [a, b) \cap [c, d) = \X_{k=1}^n \bigl( \max \{a_k, c_k\}, \min \{b_k, d_k\} \bigr) $$
\bye
Chociaż może "ładnie wyglądać", pokazane wyjście jest oczywiście znakiem X, co może być mylące. Unicode ma punkt kodowy dla n-arowego produktu, ⨉ U + 2A09 (N-ARY TIMES OPERATOR).
W unicode-math
, stix2
i kompatybilne pakiety to oznaczamy\bigtimes
W przeciwieństwie do odpowiedzi używających X, czcionka dostarcza znaki w rozmiarach odpowiednich do wstawiania i wyświetlania bez konieczności skalowania na poziomie makr TeX-a.

\documentclass{article}
\usepackage{stix2}
\begin{document}
display
\[
[a, b) \cap [c, d) =
\bigtimes_{k=1}^n \bigl( \max \{a_k, c_k\}, \min \{b_k, d_k\} \bigr)
\]
inline
$ [a, b) \cap [c, d) = \bigtimes_{k=1}^n \bigl( \max \{a_k, c_k\}, \min \{b_k, d_k\} \bigr)$
large
\Large
\[
[a, b) \cap [c, d) =
\bigtimes_{k=1}^n \bigl( \max \{a_k, c_k\}, \min \{b_k, d_k\} \bigr)
\]
\end{document}