From 390a27bedd90d549cefe80c0a973575b8a636978 Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Wed, 13 Jan 2021 10:14:22 -0500
Subject: [PATCH] mjo-common: add \Fn for generic fields.

---
 examples.tex   |  6 ++++--
 mjo-common.tex | 13 +++++++++++++
 2 files changed, 17 insertions(+), 2 deletions(-)

diff --git a/examples.tex b/examples.tex
index c3e22e7..7646b66 100644
--- a/examples.tex
+++ b/examples.tex
@@ -118,8 +118,10 @@
     superscript when that superscript would be one: $\Nn[1]$,
     $\Zn[1]$, $\Qn[1]$, $\Rn[1]$, $\Cn[1]$. However, if the
     superscript is (say) two, then it appears: $\Nn[2]$, $\Zn[2]$,
-    $\Qn[2]$, $\Rn[2]$, $\Cn[2]$. Finally, we have the four standard
-    types of intervals in $\Rn[1]$,
+    $\Qn[2]$, $\Rn[2]$, $\Cn[2]$. The symbols $\Fn[1]$, $\Fn[2]$,
+    et cetera, are available for use with a generic field.
+
+    Finally, we have the four standard types of intervals in $\Rn[1]$,
     %
     \begin{align*}
       \intervaloo{a}{b} &= \setc{ x \in \Rn[1]}{ a < x < b },\\
diff --git a/mjo-common.tex b/mjo-common.tex
index 041a1eb..6b357ab 100644
--- a/mjo-common.tex
+++ b/mjo-common.tex
@@ -142,6 +142,19 @@
   }
 \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
-- 
2.44.2