X, YがマップX \to Z、を備えたセットである場合、および上のY \to Zファイバー積の通常の表記は です。マップ を備えたセットがたくさんあります。これらすべてのセットの 上のファイバー積を (TeX で) 表記する方法について提案はありますか? を使用したいと思いますが、積を取るインデックスを示す下付き文字と、 上でファイバー積を取ることを示す下付き文字がお互いに邪魔になっています。XYZX \times_Z YX_\alphaX_\alpha \to ZZ\prodZ
以下は、を使用した私の非常に醜い試みです\prod。
現在、私の解決策は、Sigur がコメントで提案しているものです。
答え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*
最後に、 を変更する予定がある場合、引数としてtake がZあると便利です。残念ながら、は引数を取りません。回避策の1つは、\fprodZ\DeclareMathOperator
\newcommand{\fprod}[1]{\mathop{\sideset{}{_{#1}}\prod}}
その後
\fprod{Z}_{\alpha\in A}X_{\alpha}
は、望ましい出力を生成します。ただし、専門家は の使用に対して警告するのではないかと思います\mathop。