change-structures-paper/notation.tex at master · pavgust/change-structures-paper · GitHub

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
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
% Theorem styles

\theoremstyle{plain}
\newtheorem{thm}{Theorem}

\theoremstyle{definition}
\newtheorem{prop}[thm]{Proposition}

\theoremstyle{remark}
\newtheorem{claim}[thm]{Claim}

\theoremstyle{remark}
\newtheorem{corollary}[thm]{Corollary}

\theoremstyle{remark}
\newtheorem{rem}[thm]{Remark}

% Definitions on their own counter

\theoremstyle{definition}
\newtheorem{defn}{Definition}

% Notation

% General
\newcommand{\defeq}{\coloneqq}
\newcommand{\cat}[1]{\mathbf{#1}}
\newcommand{\equalizer}[2]{Eq(#1, #2)}
\newcommand{\powerset}[1]{\mathcal{P}(#1)}
\newcommand{\denote}[1]{\llbracket #1 \rrbracket}
\newcommand{\ev}{\operatorname{ev}}
\newcommand{\doubleplus}{\ensuremath{\mathbin{+\mkern-10mu+}}}
\newcommand{\pair}[2]{\left\langle {#1}, {#2} \right\rangle}

% Change structures
% Generic "thing in a circle" operator
\makeatletter
\newcommand\cplussym
{
  \mathpalette\@incircbin
}
\newcommand\@incircbin[2]
{
  \mathbin
  {
    \ooalign{\hidewidth$#1#2$\hidewidth\crcr$#1\bigcirc$}%
  }
}
\makeatother

\newcommand{\cplus}{\oplus}
\newcommand{\cpluss}{\boxplus}
\newcommand{\cplusss}{\odot}
\newcommand{\cplusvee}{\cplussym{\vee}}
\newcommand{\cminus}{\ominus}

\newcommand{\splus}{\cdot}
\newcommand{\mzero}{\textbf{0}}

\newcommand{\cstruct}[3]{(#1,#2,#3)}
\newcommand{\cstr}[1]{\hat{#1}}
\newcommand{\changes}[1]{\Delta #1}
\newcommand{\change}[1]{\delta #1}

\newcommand{\discrete}{\emptyset}

\newcommand{\derive}[1]{#1'}
\newcommand{\supderive}[1]{#1_\uparrow}
\newcommand{\supderiveM}[1]{#1_{\uparrow\uparrow}}
\newcommand{\subderive}[1]{#1_\downarrow}
\newcommand{\subderiveM}[1]{#1_{\downarrow\downarrow}}

\newcommand{\monotoneDerive}[1]{#1'^{M}}

\newcommand{\NN}{\mathbb{N}}
\newcommand{\ZZ}{\mathbb{Z}}

% Algebra
\newcommand{\reach}{\operatorname{Reach}}
\newcommand{\direct}{\operatorname{Direct}}
\newcommand{\superpose}{\circledast}
\newcommand{\curry}[1]{\Lambda{#1}}

% Orders
\newcommand{\reachOrder}{\leq_R}
\newcommand{\changeOrder}{\leq_\Delta}
\newcommand{\fineOrder}{\leq_D}
\newcommand{\minusOrder}{\leq_\cminus}

% Lattices
\newcommand{\twist}{\bowtie}
\newcommand{\updiff}{\Delta}
\newcommand{\downdiff}{\nabla}

% Fixpoints
\newcommand{\fixpoint}{\textbf{fix}}
\newcommand{\lfp}{\textbf{lfp}}
\newcommand{\adjust}{\operatorname{adjust}}
\newcommand{\iter}{\textbf{iter}}
\newcommand{\nextiter}{\textbf{recur}}

% Datalog
\newcommand{\Term}{\mathrm{Term}}
\newcommand{\Rel}{\cat{Rel}}
\newcommand{\universalRel}{\mathcal{U}}
\newcommand{\consq}{\mathcal{I}}