cursor fixes blueprint?

Author: AlexBrodbelt

blueprint/src/chapter/Ch3_Preliminaries.tex

@@ -93,6 +93,7 @@ \section{Sylow Theory}
 \end{corollary}
 
 \begin{corollary}[Sylow's fifth theorem]
+\label{5thsylow}
 % \label{IsPGroup.exists_le_sylow}
 % \lean{IsPGroup.exists_le_sylow}
 % \leanok

blueprint/src/chapter/Ch5_PropertiesOfSLOverAlgClosedField.tex

@@ -1295,7 +1295,7 @@ \section{The Projective Line \& Triple Transitivity}
 
 This shows that $P_i$ is a fixed point of $x$ if and only if $g^{-1} P_i$ is a fixed point of $y$. Thus conjugate elements have the same number of fixed points. \\
 \\
-(iv) By Proposition \ref{ISL2_IsConj_d_or_IsConj_s_or_IsConj_neg_s_of_AlgClosed} every  element of $\SL_2(F)$is conjugate to either $d_\delta$ or $\pm s_\sigma$, so since conjugate elements have the same number of fixed points, every element of $\SL_2(F)\! \setminus \! Z$ has either the same number of fixed points as $d_\delta$ (with $\delta \neq \pm 1$), namely 2, or the same number as $\pm s_\sigma$, (with $\sigma \neq 0$), namely 1.
+(iv) By Proposition \ref{SL2_IsConj_d_or_IsConj_s_or_IsConj_neg_s_of_AlgClosed} every  element of $\SL_2(F)$is conjugate to either $d_\delta$ or $\pm s_\sigma$, so since conjugate elements have the same number of fixed points, every element of $\SL_2(F)\! \setminus \! Z$ has either the same number of fixed points as $d_\delta$ (with $\delta \neq \pm 1$), namely 2, or the same number as $\pm s_\sigma$, (with $\sigma \neq 0$), namely 1.
 
 \end{proof}
 

blueprint/src/print.tex

@@ -25,11 +25,8 @@
 
 \usepackage[warnings-off={mathtools-colon,mathtools-overbracket}]{unicode-math}
 \usepackage{fontspec}
-\setmathfont{latinmodern-math.otf}
-\setmathfont[range=\varnothing]{Asana-Math.otf}
-\setmathfont[range=\pitchfork]{Asana-Math.otf}
-\setmathfont[range=\intprod]{Asana-Math.otf}
-\setmathfont[range=\int]{latinmodern-math.otf}
+% Use Latin Modern Math as the main math font (widely available)
+\setmathfont{Latin Modern Math}
 
 \usepackage[nameinlink, capitalize]{cleveref}