Como você faz um produto cartesiano generalizado tão bonito? [duplicado]

Dec 02 2020

Em um dos livros encontrei uma designação tão bonita de um produto cartesiano generalizado. Tentei repetir por muito tempo e nada aconteceu.

Respostas

7 Werner Dec 02 2020 at 07:47

\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}

A escolha dos fatores de escala veio de tentativa e erro para combiná-la com \prod:

4 Roland Dec 02 2020 at 06:48
\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}

2 wipet Dec 02 2020 at 13:56

Em TeX simples, podemos escrever:

\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
2 DavidCarlisle Dec 02 2020 at 15:28

Embora possa "parecer bom", a saída mostrada é obviamente um X que pode ser confuso. Unicode tem um ponto de código para o produto n-ário, ⨉ U + 2A09 (N-ARY TIMES OPERATOR).

Em unicode-math, stix2e pacotes compatíveis com este é denotada\bigtimes

Ao contrário das respostas que usam X, a fonte fornece o caractere em tamanhos adequados para inline e exibição sem ter que fazer qualquer escala no nível macro TeX.

\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}