-
Notifications
You must be signed in to change notification settings - Fork 8
/
Copy pathlathalesians-categories.sty
68 lines (66 loc) · 3.72 KB
/
lathalesians-categories.sty
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
\NeedsTeXFormat{LaTeX2e}[1994/06/01]
\ProvidesPackage{lathalesians-categories}[2016/09/24 LaThalesians Categories]
\typeout{Package lathalesians-categories, %
\csname [email protected]\endcsname%
^^J\@spaces\@spaces\@spaces\@spaces\space\space%
Copyright (C) Thalesians Ltd^^J}
\newcommand{\CatAL}{\ensuremath{\mbox{\textbf{AL}}}}
\newcommand{\CatALop}{\ensuremath{\mbox{\textbf{AL}}^{\mbox{op}}}}
\newcommand{\CatALG}{\ensuremath{\mbox{\textbf{ALG}}}}
\newcommand{\CatALGDOM}{\ensuremath{\mbox{\textbf{ALGDOM}}}}
\newcommand{\CatALGDOMD}{\ensuremath{\mbox{\textbf{ALGDOM}}_D}}
\newcommand{\CatALGDOMG}{\ensuremath{\mbox{\textbf{ALGDOM}}_G}}
\newcommand{\CatArL}{\ensuremath{\mbox{\textbf{ArL}}}}
\newcommand{\CatArLop}{\ensuremath{\mbox{\textbf{ArL}}^{\mbox{op}}}}
\newcommand{\CatBCSOB}{\ensuremath{\mbox{\textbf{BCSOB}}}}
\newcommand{\CatBF}{\ensuremath{\mbox{\textbf{BF}}}}
\newcommand{\CatCCSOB}{\ensuremath{\mbox{\textbf{CCSOB}}}}
\newcommand{\CatCL}{\ensuremath{\mbox{\textbf{CL}}}}
\newcommand{\CatCLd}{\ensuremath{\mbox{\textbf{CL}}_d}}
\newcommand{\CatCLm}{\ensuremath{\mbox{\textbf{CL}}_m}}
\newcommand{\CatCLop}{\ensuremath{\mbox{\textbf{CL}}^{\mbox{op}}}}
\newcommand{\CatCONT}{\ensuremath{\mbox{\textbf{CONT}}}}
\newcommand{\CatCPOSP}{\ensuremath{\mbox{\textbf{CPOSP}}}}
\newcommand{\CatCS}{\ensuremath{\mbox{\textbf{CS}}}}
\newcommand{\CatCSEM}{\ensuremath{\mbox{\textbf{CSEM}}}}
\newcommand{\CatDAR}{\ensuremath{\mbox{\textbf{DAR}}}}
\newcommand{\CatDCPO}{\ensuremath{\mbox{\textbf{DCPO}}}}
\newcommand{\CatDCPOp}{\ensuremath{\mbox{\textbf{DCPO}}_{\bot}}}
\newcommand{\CatDCPOps}{\ensuremath{\mbox{\textbf{DCPO}}_{\bot!}}}
\newcommand{\CatDCPOD}{\ensuremath{\mbox{\textbf{DCPO}}_D}}
\newcommand{\CatDCPOG}{\ensuremath{\mbox{\textbf{DCPO}}_G}}
\newcommand{\CatDCPOFILT}{\ensuremath{\mbox{\textbf{DCPOFILT}}}}
\newcommand{\CatDL}{\ensuremath{\mbox{\textbf{DL}}}}
\newcommand{\CatDLat}{\ensuremath{\mbox{\textbf{DLat}}}}
\newcommand{\CatDOM}{\ensuremath{\mbox{\textbf{DOM}}}}
\newcommand{\CatDOMD}{\ensuremath{\mbox{\textbf{DOM}}_D}}
\newcommand{\CatDOMG}{\ensuremath{\mbox{\textbf{DOM}}_G}}
\newcommand{\CatDOMFILT}{\ensuremath{\mbox{\textbf{DOMFILT}}}}
\newcommand{\CatFRM}{\ensuremath{\mbox{\textbf{FRM}}}}
\newcommand{\CatFRMz}{\ensuremath{\mbox{\textbf{FRM}}_0}}
\newcommand{\CatFS}{\ensuremath{\mbox{\textbf{FS}}}}
\newcommand{\CatGRAPH}{\ensuremath{\mbox{\textbf{GRAPH}}}}
\newcommand{\CatH}{\ensuremath{\mbox{\textbf{H}}}}
\newcommand{\CatINF}{\ensuremath{\mbox{\textbf{INF}}}}
\newcommand{\CatINFup}{\ensuremath{\mbox{\textbf{INF}}^{\uparrow}}}
\newcommand{\CatLAT}{\ensuremath{\mbox{\textbf{LAT}}}}
\newcommand{\CatLCSOB}{\ensuremath{\mbox{\textbf{LCSOB}}}}
\newcommand{\CatLDOM}{\ensuremath{\mbox{\textbf{LDOM}}}}
\newcommand{\CatPOID}{\ensuremath{\mbox{\textbf{POID}}}}
\newcommand{\CatPOSET}{\ensuremath{\mbox{\textbf{POSET}}}}
\newcommand{\CatPOSETD}{\ensuremath{\mbox{\textbf{POSET}}_D}}
\newcommand{\CatPOSETG}{\ensuremath{\mbox{\textbf{POSET}}_G}}
\newcommand{\CatSCFRM}{\ensuremath{\mbox{\textbf{SCFRM}}}}
\newcommand{\CatSCFRMi}{\ensuremath{\mbox{\textbf{SCFRM}}_1}}
\newcommand{\CatSCTOP}{\ensuremath{\mbox{\textbf{SCTOP}}}}
\newcommand{\CatSEM}{\ensuremath{\mbox{\textbf{SEM}}}}
\newcommand{\CatSEMI}{\ensuremath{\mbox{\textbf{SEMI}}}}
\newcommand{\CatSET}{\ensuremath{\mbox{\textbf{SET}}}}
\newcommand{\CatSLCTOP}{\ensuremath{\mbox{\textbf{SLCTOP}}}}
\newcommand{\CatSOB}{\ensuremath{\mbox{\textbf{SOB}}}}
\newcommand{\CatSUP}{\ensuremath{\mbox{\textbf{SUP}}}}
\newcommand{\CatSUPu}{\ensuremath{\mbox{\textbf{SUP}\^{}}}}
\newcommand{\CatSUPz}{\ensuremath{\mbox{\textbf{SUP}}^0}}
\newcommand{\CatTCPOSP}{\ensuremath{\mbox{\textbf{TCPOSP}}}}
\newcommand{\CatTOP}{\ensuremath{\mbox{\textbf{TOP}}}}
\newcommand{\CatUPS}{\ensuremath{\mbox{\textbf{UPS}}}}