}
\fi
+% The n-dimensional product space of a generic field F.
+\newcommand*{\Fn}[1][n]{
+ \mathbb{F}\if\detokenize{#1}\detokenize{1}{}\else^{#1}\fi
+}
+
+\ifdefined\newglossaryentry
+ \newglossaryentry{F}{
+ name={\ensuremath{\Fn[1]}},
+ description={a generic field},
+ sort=F
+ }
+\fi
+
% An indexed arbitrary binary operation such as the union or
% intersection of an infinite number of sets. The first argument is