latex-setup

diff --git a/functional.sty b/functional.sty
@@ -46,6 +46,9 @@
 \newcategory{\Ring}{Ring}     % The category of rings
 \newcategory{\cRing}{cRing}   % The category of commutative rings
 \newcategory{\Top}{Top}       % The category of topological spaces
+\newcategory{\Haus}{Haus}     % The category of Hausdorf spaces
+\newcategory{\KHaus}{KHaus}   % The category of compact Hausdorf spaces
+\newcategory{\LCHaus}{LCHaus} % The category of locally compact Hausdorf spaces
 \newcategory{\GrpTop}{GrpTop} % The category of topological groups
 \newcategory{\LCGpr}{LCGpr}   % The category of locally compact groups
 \newcategory{\LCAb}{LCAb}     % The category of locally compact abelian groups

diff --git a/preamble-common.tex b/preamble-common.tex
@@ -13,7 +13,7 @@
 % Pablo (C) 2020
 
 \usepackage{amsmath, amssymb, amsthm, stmaryrd, mathrsfs, gensymb, dsfont}
-\usepackage{mathtools}
+\usepackage{mathtools, adjustbox}
 \usepackage[scr=esstix,cal=boondox]{mathalfa}
 \usepackage{enumitem, xfrac, xcolor, cancel, multicol, tabularx, relsize}
 \usepackage{hyperref, csquotes}
@@ -26,6 +26,34 @@
 \usepackage[normalem]{ulem}
 \usepackage[brazil]{babel}
 
+% Double struck letters
+\renewcommand{\AA}{\mathbb{A}} % Double struck A
+\newcommand{\BB}{\mathbb{B}}   % Double struck B
+\newcommand{\CC}{\mathbb{C}}   % Double struck C
+\newcommand{\DD}{\mathbb{D}}   % Double struck D
+\newcommand{\EE}{\mathbb{E}}   % Double struck E
+\newcommand{\FF}{\mathbb{F}}   % Double struck F
+\newcommand{\GG}{\mathbb{G}}   % Double struck G
+\newcommand{\HH}{\mathbb{H}}   % Double struck H
+\newcommand{\II}{\mathbb{I}}   % Double struck I
+\newcommand{\JJ}{\mathbb{J}}   % Double struck J
+\newcommand{\KK}{\mathbb{K}}   % Double struck K
+\newcommand{\LL}{\mathbb{L}}   % Double struck L
+\newcommand{\MM}{\mathbb{M}}   % Double struck M
+\newcommand{\NN}{\mathbb{N}}   % Double struck N
+\newcommand{\OO}{\mathbb{O}}   % Double struck O
+\newcommand{\PP}{\mathbb{P}}   % Double struck P
+\newcommand{\QQ}{\mathbb{Q}}   % Double struck Q
+\newcommand{\RR}{\mathbb{R}}   % Double struck R
+\renewcommand{\SS}{\mathbb{S}} % Double struck S
+\newcommand{\TT}{\mathbb{T}}   % Double struck T
+\newcommand{\UU}{\mathbb{U}}   % Double struck U
+\newcommand{\VV}{\mathbb{V}}   % Double struck V
+\newcommand{\WW}{\mathbb{W}}   % Double struck W
+\newcommand{\XX}{\mathbb{X}}   % Double struck X
+\newcommand{\YY}{\mathbb{Y}}   % Double struck Y
+\newcommand{\ZZ}{\mathbb{Z}}   % Double struck Z
+
 % Use \blacksquare for \qed
 \renewcommand{\qedsymbol}{\ensuremath{\blacksquare}}
 

diff --git a/xalgebra.sty b/xalgebra.sty
@@ -9,17 +9,6 @@
 \newcommand{\abs}[1]{\left|\nobreak#1\nobreak\right|} % Absolute values
 \DeclareMathOperator{\Rad}{Rad}                       % Jacobson radical
 
-% Standard rings and fields
-\newcommand{\NN}{\mathbb{N}} % Natural numbers
-\newcommand{\ZZ}{\mathbb{Z}} % Integers
-\newcommand{\QQ}{\mathbb{Q}} % Rational numbers
-\newcommand{\RR}{\mathbb{R}} % Real numbers
-\newcommand{\CC}{\mathbb{C}} % Complex numbers
-\newcommand{\KK}{\mathbb{K}} % Generic field
-\newcommand{\FF}{\mathbb{F}} % Generic (finite) field
-\newcommand{\HH}{\mathbb{H}} % Quaternions
-\newcommand{\OO}{\mathbb{O}} % Octonions
-
 % Linear Algebra stuff
 \newenvironment{system}
   {\left \{ \begin{aligned}}
@@ -36,17 +25,15 @@
 \newcommand{\norm}[1]{\left\lVert\nobreak#1\nobreak\right\rVert} % Vector norm
 
 % Group Theory stuff
-\DeclareMathOperator{\Inn}{Inn}  % Inner automorphism group
-\DeclareMathOperator{\Out}{Out}  % Outer automorphism group
-\DeclareMathOperator{\sgn}{sgn}  % Permutation sign (parity)
+\DeclareMathOperator{\Inn}{Inn}        % Inner automorphism group
+\DeclareMathOperator{\Out}{Out}        % Outer automorphism group
+\DeclareMathOperator{\sgn}{sgn}        % Permutation sign (parity)
+\newcommand{\actson}{\circlearrowleft} % Group action indicator
 
 % Ring Theory stuff
 \DeclareMathOperator{\Frac}{Frac}  % Field of fractions
 \DeclareMathOperator{\fchar}{char} % Field characteristic
 
-% Representation Theory stuff (algebras, groups, quivers, whatever)
-\DeclareMathOperator{\Ind}{Ind} % Induced representation
-
 % Galois Theory
 \DeclareMathOperator{\Gal}{Gal}             % Galois group
 \newcommand{\sepcloj}[1]{{#1}^\textsc{sep}} % Separable clojure of a Galois 

diff --git a/xgeometry.sty b/xgeometry.sty
@@ -19,8 +19,6 @@ geometry and Lie groups/algebras]
 \DeclareMathOperator{\SL}{SL}     % Simple linear group
 \DeclareMathOperator{\SO}{SO}     % Simple orthogonal group
 \DeclareMathOperator{\Sp}{Sp}     % Sympletic group
-\let\O\relax
-\DeclareMathOperator{\O}{O}       % Orthogonal group
 \newcommand{\PR}{\mathbb{PR}}     % Projective real group
 \newcommand{\RP}{\mathbb{RP}}     % Projective real group
 \newcommand{\PC}{\mathbb{PC}}     % Projective complex group