“大纖維產品”的符號？

Question

若X, Y集合配有映射X \to Z, ，則和overY \to Z的纖維乘積的常用符號為。我有一大堆配有地圖的套裝。有人對如何表示（在 TeX 中）所有這些集合的纖維乘積有建議嗎？我想使用，但是表示我們正在採用產品的索引的下標和表示我們正在採用纖維產品的下標會互相妨礙。XYZX \times_Z YX_\alphaX_\alpha \to ZZ\prodZ

這是我使用的超級醜陋的嘗試\prod：

目前我的解決方案是 Sigur 在評論中建議的。

Answer 1

對我來說，\prod與 相比，這是更自然的符號\bigotimes。這類似於集合的笛卡爾積（\times對於二元運算子和\prod索引版本）。索引應位於運算子下方，並且下標Z應保留在右側。我不認為有一個很好的方法來內聯執行此操作。

\documentclass{article}
\usepackage{amsmath}

\DeclareMathOperator*{\fprod}{\sideset{}{_Z}\prod}

\begin{document}
\[
\fprod_{\alpha\in A}X_{\alpha}
\]
\end{document}

請注意，選擇將索引居中不是在 下\prod，而是在\prod與下標一起下。這是因為下標實際上是運算符的一部分。如果您希望索引居中位於 下方，\prod您可以使用更簡單的程式碼\sideset{}{_Z}\prod_{\alpha\in A}X_{\alpha}，而不需要\DeclareMathOperator*命令。

最後，如果您打算更改Z，最好將\fprodtakeZ作為參數。不幸的是，\DeclareMathOperator不接受參數。一種解決方法是使用

\newcommand{\fprod}[1]{\mathop{\sideset{}{_{#1}}\prod}}

進而

\fprod{Z}_{\alpha\in A}X_{\alpha}

產生所需的輸出。但我懷疑專家會警告不要使用\mathop.