Bagaimana Anda membuat produk Cartesian umum yang begitu indah? [duplikat]

Question

Dalam salah satu buku saya menemukan sebutan yang begitu indah dari produk Cartesian yang digeneralisasikan. Saya mencoba mengulanginya untuk waktu yang lama dan tidak ada yang terjadi.

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}

Pilihan faktor penskalaan berasal dari coba-coba untuk mencocokkannya dengan \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

Di TeX biasa, kita bisa menulis:

\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

Meskipun mungkin "terlihat bagus", keluaran yang ditampilkan jelas merupakan X yang mungkin membingungkan. Unicode memiliki titik kode untuk produk n-ary, ⨉ U + 2A09 (N-ARY TIMES OPERATOR).

Dalam unicode-math, stix2dan paket yang kompatibel, ini dilambangkan\bigtimes

Tidak seperti jawaban yang menggunakan X, font menyediakan karakter dengan ukuran yang sesuai untuk sebaris dan tampilan tanpa harus melakukan penskalaan apa pun di tingkat makro 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}