blackboard bold H, not cal H, for quaternions

Author: kbuzzard

blueprint/src/chapter/chtopbestiary.tex

@@ -196,7 +196,7 @@ \section{Automorphic forms and representations}
 \begin{proof} See Flath's article in~\cite{corvallis1}.
 \end{proof}
 
-As mentioned above, we only need all of this for abelian algebraic groups and for inner forms of $\GL_2$ over totally real fields, where everything can be made more concrete (and in particular where I can write down concrete definitions, although this still needs to be done). In particular, we don't strictly speaking need all of the above, we could just cheat and deal with $\GL_2(\R)$ and $\calH^\times$ separately.
+As mentioned above, we only need all of this for abelian algebraic groups and for inner forms of $\GL_2$ over totally real fields, where everything can be made more concrete (and in particular where I can write down concrete definitions, although this still needs to be done). In particular, we don't strictly speaking need all of the above, we could just cheat and deal with $\GL_2(\R)$ and $\bbH^\times$ separately.
 
 The theorems I need are: Jacquet-Langlands for inner forms of $\GL_2$ over totally real fields, 
 and multiplicity 1 for these inner forms. We also need cyclic base change plus classification of image, all for totally definite quaternion algebras, and we need

blueprint/src/macro/common.tex

@@ -20,7 +20,7 @@
 \newcommand{\GN}{\Gal(\overline{N}/N)}
 \newcommand{\Kbar}{\overline{K}}
 \newcommand{\calO}{\mathcal{O}}
-\newcommand{\calH}{\mathcal{H}}
+\newcommand{\bbH}{\mathbb{H}}
 \newcommand{\p}{{\mathfrak{p}}}
 \DeclareMathOperator{\Gal}{Gal}
 \DeclareMathOperator{\avoid}{avoid}