latex-setup

diff --git a/functional.sty b/functional.sty
@@ -44,7 +44,8 @@
 \newcategory{\Ab}{Ab}         % The category of abelian groups
 \newcategory{\FinAb}{FinAb}   % The category of finite abelian groups
 \newcategory{\Ring}{Ring}     % The category of rings
-\newcategory{\cRing}{cRing}   % The category of commutative rings
+\newcategory{\CRing}{CRing}   % The category of commutative rings
+\newcategory{\Mean}{Mean}     % The category of measure spaces
 \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

diff --git a/xalgebra.sty b/xalgebra.sty
@@ -19,7 +19,7 @@
 \DeclareMathOperator{\Mat}{Mat}   % Matrix algebra
 \DeclareMathOperator{\Sym}{Sym}   % Symetric product of vector-spaces
 \DeclareMathOperator{\Flag}{Flag} % The space of full flags of a vector space
-\newcommand{\base}{\mathscr{B}}   % Vectorspace base
+\newcommand{\base}{\mathcal{B}}   % Vectorspace base
 \renewcommand{\Re}{\mathrm{Re}\,} % Real component
 \renewcommand{\Im}{\mathrm{Im}\,} % Imaginary component
 \newcommand{\norm}[1]{\left\lVert\nobreak#1\nobreak\right\rVert} % Vector norm
@@ -28,6 +28,7 @@
 \DeclareMathOperator{\Inn}{Inn}        % Inner automorphism group
 \DeclareMathOperator{\Out}{Out}        % Outer automorphism group
 \DeclareMathOperator{\sgn}{sgn}        % Permutation sign (parity)
+\DeclareMathOperator{\Tor}{Tor}        % The torsion portion of a group
 \newcommand{\actson}{\circlearrowleft} % Group action indicator
 
 % Ring Theory stuff
@@ -39,5 +40,8 @@
 \newcommand{\sepcloj}[1]{{#1}^\textsc{sep}} % Separable clojure of a Galois 
                                             % extension
 
+% Representation Theory
+\newcommand{\Ind}[2]{\operatorname{Ind}_{#2}^{#1}}
+
 \endinput
 

diff --git a/xgeometry.sty b/xgeometry.sty
@@ -7,13 +7,22 @@ geometry and Lie groups/algebras]
 \RequirePackage{tikz}     % For \tikzset
 
 % Smooth manifolds
-\DeclareMathOperator{\Diff}{Diff} % Group of diffeomorphisms of a given manifold
+\DeclareMathOperator{\Diff}{Diff} % Group of diffeomorphisms of a manifold
+\DeclareMathOperator{\Der}{Der}   % Algebra of formal derivations on a manifold
 
 % Riemannian geometry
 \newcommand{\g}{\mathrm{g}}     % Reimannian metric
 \DeclareMathOperator{\Iso}{Iso} % Isometry group
 \DeclareMathOperator{\Hol}{Hol} % Holonomy group
 
+% Diferential forms
+\newcommand{\exterior}{\mathrm{d}} % The exterior derivative
+\newcommand{\dd}{\exteior}         % Alias for \exterior
+\newcommand{\dx}{\exterior x}      % dx
+\newcommand{\dy}{\exterior y}      % dy
+\newcommand{\dz}{\exterior z}      % dz
+\newcommand{\dt}{\exterior t}      % dt
+
 % Lie groups and algebras
 \DeclareMathOperator{\GL}{GL}     % General linear group
 \DeclareMathOperator{\SL}{SL}     % Simple linear group
@@ -25,7 +34,6 @@ geometry and Lie groups/algebras]
 \newcommand{\CP}{\mathbb{CP}}     % Projective complex group
 \DeclareMathOperator{\PGL}{PGL}   % Projective general linear group
 \DeclareMathOperator{\PSL}{PSL}   % Projective general linear group
-\DeclareMathOperator{\Der}{Der}   % The Lie algebra of derivations over a field
 \newcommand{\gl}{\mathfrak{gl}}   % Lie algebra of \GL
 \renewcommand{\sl}{\mathfrak{sl}} % Lie algebra of \SL
 \newcommand{\so}{\mathfrak{so}}   % Lie algebra of \SO