latex-setup

My personal LaTeX setup 🦁️⚙️

xgeometry.sty (2717B)

 1 \NeedsTeXFormat{LaTeX2e}[1994/06/01]
 2 \ProvidesPackage{xgeometry}[2021/02/09 1.0.0 Usefull definitions for Riemannian
 3 geometry and Lie groups/algebras]
 4 
 5 \RequirePackage{amssymb}  % For the standard sets
 6 \RequirePackage{amsmath}  % For \DeclareMathOperator
 7 \RequirePackage{tikz}     % For \tikzset
 8 
 9 % Smooth manifolds
10 \DeclareMathOperator{\Der}{Der}   % Algebra of formal derivations on a manifold
11 
12 % Riemannian geometry
13 \newcommand{\g}{\mathrm{g}}     % Reimannian metric
14 \DeclareMathOperator{\Iso}{Iso} % Isometry group
15 \DeclareMathOperator{\Hol}{Hol} % Holonomy group
16 
17 % Diferential forms
18 \newcommand{\exterior}{\mathrm{d}} % The exterior derivative
19 \newcommand{\dd}{\exterior}        % Alias for \exterior
20 \newcommand{\dx}{\exterior x}      % dx
21 \newcommand{\dy}{\exterior y}      % dy
22 \newcommand{\dz}{\exterior z}      % dz
23 \newcommand{\dt}{\exterior t}      % dt
24 
25 % Lie groups and algebras
26 \DeclareMathOperator{\GL}{GL}       % General linear group
27 \DeclareMathOperator{\SL}{SL}       % Simple linear group
28 \DeclareMathOperator{\SO}{SO}       % Simple orthogonal group
29 \DeclareMathOperator{\SU}{SU}       % Simple unitary group
30 \DeclareMathOperator{\Sp}{Sp}       % Sympletic group
31 \newcommand{\PR}{\mathbb{PR}}       % Projective real group
32 \newcommand{\RP}{\mathbb{RP}}       % Projective real group
33 \newcommand{\PC}{\mathbb{PC}}       % Projective complex group
34 \newcommand{\CP}{\mathbb{CP}}       % Projective complex group
35 \DeclareMathOperator{\PGL}{PGL}     % Projective general linear group
36 \DeclareMathOperator{\PSL}{PSL}     % Projective general linear group
37 \newcommand{\gl}{\mathfrak{gl}}     % Lie algebra of \GL
38 \renewcommand{\sl}{\mathfrak{sl}}   % Lie algebra of \SL
39 \newcommand{\so}{\mathfrak{so}}     % Lie algebra of \SO
40 % The following is ommited because \sp is a spacing character
41 % \renewcommand{\sp}{\mathfrak{sp}} % Lie algebra of \Sp
42 \newcommand{\pr}{\mathfrak{pr}}     % Lie algebra of \PR
43 \newcommand{\rp}{\mathfrak{rp}}     % Lie algebra of \RP
44 \newcommand{\pc}{\mathfrak{pC}}     % Lie algebra of \PC
45 \newcommand{\cp}{\mathfrak{cp}}     % Lie algebra of \CP
46 \newcommand{\pgl}{\mathfrak{pgl}}   % Lie algebra of \PGL
47 \newcommand{\psl}{\mathfrak{psl}}   % Lie algebra of \PSL
48 
49 % Representation theory of Lie groups and algebras
50 \DeclareMathOperator{\Ad}{Ad}
51 \DeclareMathOperator{\ad}{ad}
52 
53 % Projective spaces
54 \renewcommand{\RP}{{\mathbb{R}\mathrm{P}}}
55 \renewcommand{\CP}{{\mathbb{C}\mathrm{P}}}
56 
57 % Double Hat! (for Pontryagin duals of Pontryagin duals)
58 \makeatletter
59 \newcommand{\doublehat}[1]{% 
60 \begingroup%
61   \let\macc@kerna\z@%
62   \let\macc@kernb\z@%
63   \let\macc@nucleus\@empty%
64   \widehat{\raisebox{.5ex}{\vphantom{\ensuremath{#1}}}\smash{\widehat{#1}}}%
65 \endgroup%
66 }
67 \makeatother
68