forked from UniMath/SymmetryBook
-
Notifications
You must be signed in to change notification settings - Fork 0
/
tikzsetup.tex
125 lines (119 loc) · 5.16 KB
/
tikzsetup.tex
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
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
\usetikzlibrary{decorations.markings,decorations.pathreplacing,
shapes.geometric,matrix,arrows,chains,positioning,scopes}
\pgfdeclarearrow{
name = pxto,
setup code = {
% The different end values:
\pgfarrowssettipend{1.5\pgflinewidth}
\pgfarrowssetbackend{-2.5508\pgflinewidth}
\pgfarrowssetlineend{-.25\pgflinewidth}
\pgfarrowssetvisualbackend{-0.021\pgflinewidth}
% The hull
\pgfarrowsupperhullpoint{1.5\pgflinewidth}{0\pgflinewidth}
\pgfarrowsupperhullpoint{-2.0085\pgflinewidth}{3.6525\pgflinewidth}
\pgfarrowsupperhullpoint{-2.5508\pgflinewidth}{3.0763\pgflinewidth}
% No saves
},
drawing code = {
\pgfsetdash{}{0pt}%
\pgfpathmoveto{\pgfpoint{1.5\pgflinewidth}{0.0254\pgflinewidth}}%
\pgfpathlineto{\pgfpoint{-2.0085\pgflinewidth}{3.6525\pgflinewidth}}%
\pgfpathlineto{\pgfpoint{-2.5508\pgflinewidth}{3.0763\pgflinewidth}}%
\pgfpathlineto{\pgfpoint{-0.4322\pgflinewidth}{0.5\pgflinewidth}}%
\pgfpathlineto{\pgfpoint{-0.4322\pgflinewidth}{-0.5\pgflinewidth}}%
\pgfpathlineto{\pgfpoint{-2.5508\pgflinewidth}{-3.0763\pgflinewidth}}%
\pgfpathlineto{\pgfpoint{-2.0085\pgflinewidth}{-3.6525\pgflinewidth}}%
\pgfpathclose%
\pgfusepathqfill
}
}
\pgfdeclarearrow{
name = pxbar,
setup code = {
\pgfarrowssettipend{0.5\pgflinewidth}
\pgfarrowssetbackend{-0.5\pgflinewidth}
\pgfarrowsupperhullpoint{0.5\pgflinewidth}{3.6525\pgflinewidth}
\pgfarrowsupperhullpoint{-0.5\pgflinewidth}{3.6525\pgflinewidth}
},
drawing code = {
\pgfsetdash{}{0pt}%
\pgfpathmoveto{\pgfpoint{0.5\pgflinewidth}{3.6525\pgflinewidth}}%
\pgfpathlineto{\pgfpoint{-0.5\pgflinewidth}{3.6525\pgflinewidth}}%
\pgfpathlineto{\pgfpoint{-0.5\pgflinewidth}{-3.6525\pgflinewidth}}%
\pgfpathlineto{\pgfpoint{0.5\pgflinewidth}{-3.6525\pgflinewidth}}%
\pgfpathclose%
\pgfusepathqfill
}
}
\tikzset{every picture/.style={line width=0.59pt}}
\tikzset{
cntdot/.style={fill,circle,inner sep=.4pt},
dot/.style={fill,circle,inner sep=1pt},
basedot/.style={fill,circle,inner sep=1.3pt},
double line with arrow/.style args={#1,#2}{decorate,decoration={markings,%
mark=at position 0 with {\coordinate (ta-base-1) at (0,1pt);%
\coordinate (ta-base-2) at (0,-1pt);},%
mark=at position 1 with {\draw[#1] (ta-base-1) -- (0,1pt);%
\draw[#2] (ta-base-2) -- (0,-1pt);}%
}},
double line with arrow left/.style args={#1,#2}{decorate,decoration={markings,%
mark=at position 0 with {\coordinate (ta-base-1) at (0,1pt);%
\coordinate (ta-base-2) at (0,-1pt);},%
mark=at position 0.3 with {\coordinate (ta-mid) at (0,4pt);},%
mark=at position 0.7 with {\draw[->] (ta-mid) -- (0,4pt);},%
mark=at position 1 with {\draw[#1] (ta-base-1) -- (0,1pt);%
\draw[#2] (ta-base-2) -- (0,-1pt);}%
}},
double line with arrow right/.style args={#1,#2}{decorate,decoration={markings,%
mark=at position 0 with {\coordinate (ta-base-1) at (0,1pt);%
\coordinate (ta-base-2) at (0,-1pt);},%
mark=at position 0.3 with {\coordinate (ta-mid) at (0,-4pt);},%
mark=at position 0.7 with {\draw[->] (ta-mid) -- (0,-4pt);},%
mark=at position 1 with {\draw[#1] (ta-base-1) -- (0,1pt);%
\draw[#2] (ta-base-2) -- (0,-1pt);}%
}},
equals right/.style={decorate,decoration={markings,%
mark=at position 0 with {\coordinate (ta-base) at (0,0);},%
mark=at position 0.5 with {\draw[line width=0.51pt,-] (-2pt,-3pt)--(2pt,-3pt);%
\draw[line width=0.51pt,-] (-2pt,-4.5pt)--(2pt,-4.5pt);},%
mark=at position 1 with {\draw[->] (ta-base) -- (0,0);}%
}},
equals left/.style={decorate,decoration={markings,%
mark=at position 0 with {\coordinate (ta-base) at (0,0);},%
mark=at position 0.5 with {\draw[line width=0.51pt,-] (-2pt,3pt)--(2pt,3pt);%
\draw[line width=0.51pt,-] (-2pt,4.5pt)--(2pt,4.5pt);},%
mark=at position 1 with {\draw[->] (ta-base) -- (0,0);}%
}},
equiv right/.style={decorate,decoration={markings,%
mark=at position 0 with {\coordinate (ta-base) at (0,0);},%
mark=at position 0.5 with {\draw[line width=0.51pt,-,line cap=round] (-2pt,-4pt)
.. controls (0pt,-2pt) and (0pt,-5.5pt) .. (2pt,-3.5pt);},%
mark=at position 1 with {\draw[->] (ta-base) -- (0,0);}%
}},
equiv left/.style={decorate,decoration={markings,%
mark=at position 0 with {\coordinate (ta-base) at (0,0);},%
mark=at position 0.5 with {\draw[line width=0.51pt,-,line cap=round] (-2pt,3.5pt)
.. controls (0pt,5.5pt) and (0pt,2pt) .. (2pt,4pt);},%
mark=at position 1 with {\draw[->] (ta-base) -- (0,0);}%
}},
eq/.style={-,double line with arrow={-,-},outer sep=2pt,},
eql/.style={-,equals left,},
eqr/.style={-,equals right,},
equivl/.style={-,equiv left,},
equivr/.style={-,equiv right,},
eqtol/.style={-,double line with arrow left={-,-},outer sep=2pt,},
eqtor/.style={-,double line with arrow right={-,-},outer sep=2pt,},
}
\tikzset{>=pxto,%
mapsto/.style={pxbar-pxto}}
\tikzcdset{arrow style=tikz,%
arrows={line width=0.59pt},%
invisible/.style={/tikz/draw=none},%
mapsto/.style={pxbar-pxto}}
\tikzcdset{
equals/.add code={\PackageError{cas}{Please don't use the TikZ-cd equals style}{}}{}
}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "book"
%%% End: