如何制作如此漂亮的广义笛卡尔积？

Question

我在一本书中看到了广义笛卡尔积的一个非常漂亮的表示。我尝试重复它很长时间，但没有任何效果。

Answer 1

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

缩放因子的选择是通过反复试验来匹配的\prod：

Answer 2

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

Answer 3

在纯 TeX 中，我们可以写：

\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

Answer 4

虽然它可能“看起来不错”，但显示的输出显然是一个 X，这可能会令人困惑。Unicode 有一个用于 n 元乘积的代码点，⨉ U+2A09（N 元乘法运算符）。

在和 兼容包中unicode-math，stix2这表示\bigtimes

与使用 X 的答案不同，字体提供适合内联和显示的大小的字符，而无需在 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}