CoCalc -- used-latex-symbols.tex

📚 The CoCalc Library - books, templates and other resources
cocalc-examples / martinthoma-latex-examples / publications / hasy / used-latex-symbols.tex
¹³²⁹³⁵ views
License: OTHER
1
%!TEX root = "../thesis.tex"
2
\section*{Symbol Classes}
3
            \begin{longtable}{lc|lc}
4
                \toprule
5
                \LaTeX & Rendered & \LaTeX & Rendered \\
6
                \midrule
7
                \endhead
8
                \hline \multicolumn{4}{r}{{Continued on next page}} \\
9
                \endfoot
10
                \bottomrule
11
                \caption{112 symbols of \dbName.}
12
                \endlastfoot
13
\verb+\&+ & $\&$ &\verb+\nmid+ & $\nmid$\\
14
\verb+\Im+ & $\Im$ &\verb+\nvDash+ & $\nvDash$\\
15
\verb+\Re+ & $\Re$ &\verb+\int+ & $\int$\\
16
\verb+\S+ & $\S$ &\verb+\fint+ & $\fint$\\
17
\verb+\Vdash+ & $\Vdash$ &\verb+\odot+ & $\odot$\\
18
\verb+\aleph+ & $\aleph$ &\verb+\oiint+ & $\oiint$\\
19
\verb+\amalg+ & $\amalg$ &\verb+\oint+ & $\oint$\\
20
\verb+\angle+ & $\angle$ &\verb+\varoiint+ & $\varoiint$\\
21
\verb+\ast+ & $\ast$ &\verb+\ominus+ & $\ominus$\\
22
\verb+\asymp+ & $\asymp$ &\verb+\oplus+ & $\oplus$\\
23
\verb+\backslash+ & $\backslash$ &\verb+\otimes+ & $\otimes$\\
24
\verb+\between+ & $\between$ &\verb+\parallel+ & $\parallel$\\
25
\verb+\blacksquare+ & $\blacksquare$ &\verb+\parr+ & $\parr$\\
26
\verb+\blacktriangleright+ & $\blacktriangleright$ &\verb+\partial+ & $\partial$\\
27
\verb+\bot+ & $\bot$ &\verb+\perp+ & $\perp$\\
28
\verb+\bowtie+ & $\bowtie$ &\verb+\pitchfork+ & $\pitchfork$\\
29
\verb+\boxdot+ & $\boxdot$ &\verb+\pm+ & $\pm$\\
30
\verb+\boxplus+ & $\boxplus$ &\verb+\prime+ & $\prime$\\
31
\verb+\boxtimes+ & $\boxtimes$ &\verb+\prod+ & $\prod$\\
32
\verb+\bullet+ & $\bullet$ &\verb+\propto+ & $\propto$\\
33
\verb+\checkmark+ & $\checkmark$ &\verb+\rangle+ & $\rangle$\\
34
\verb+\circ+ & $\circ$ &\verb+\rceil+ & $\rceil$\\
35
\verb+\circledR+ & $\circledR$ &\verb+\rfloor+ & $\rfloor$\\
36
\verb+\circledast+ & $\circledast$ &\verb+\rrbracket+ & $\rrbracket$\\
37
\verb+\circledcirc+ & $\circledcirc$ &\verb+\rtimes+ & $\rtimes$\\
38
\verb+\clubsuit+ & $\clubsuit$ &\verb+\sharp+ & $\sharp$\\
39
\verb+\coprod+ & $\coprod$ &\verb+\sphericalangle+ & $\sphericalangle$\\
40
\verb+\copyright+ & $\copyright$ &\verb+\sqcap+ & $\sqcap$\\
41
\verb+\dag+ & $\dag$ &\verb+\sqcup+ & $\sqcup$\\
42
\verb+\dashv+ & $\dashv$ &\verb+\sqrt{}+ & $\sqrt{}$\\
43
\verb+\diamond+ & $\diamond$ &\verb+\square+ & $\square$\\
44
\verb+\diamondsuit+ & $\diamondsuit$ &\verb+\star+ & $\star$\\
45
\verb+\div+ & $\div$ &\verb+\sum+ & $\sum$\\
46
\verb+\ell+ & $\ell$ &\verb+\times+ & $\times$\\
47
\verb+\flat+ & $\flat$ &\verb+\top+ & $\top$\\
48
\verb+\frown+ & $\frown$ &\verb+\triangle+ & $\triangle$\\
49
\verb+\guillemotleft+ & $\guillemotleft$ &\verb+\triangledown+ & $\triangledown$\\
50
\verb+\hbar+ & $\hbar$ &\verb+\triangleleft+ & $\triangleleft$\\
51
\verb+\heartsuit+ & $\heartsuit$ &\verb+\trianglelefteq+ & $\trianglelefteq$\\
52
\verb+\infty+ & $\infty$ &\verb+\triangleq+ & $\triangleq$\\
53
\verb+\langle+ & $\langle$ &\verb+\triangleright+ & $\triangleright$\\
54
\verb+\lceil+ & $\lceil$ &\verb+\uplus+ & $\uplus$\\
55
\verb+\lfloor+ & $\lfloor$ &\verb+\vDash+ & $\vDash$\\
56
\verb+\lhd+ & $\lhd$ &\verb+\varnothing+ & $\varnothing$\\
57
\verb+\lightning+ & $\lightning$ &\verb+\varpropto+ & $\varpropto$\\
58
\verb+\llbracket+ & $\llbracket$ &\verb+\vartriangle+ & $\vartriangle$\\
59
\verb+\lozenge+ & $\lozenge$ &\verb+\vdash+ & $\vdash$\\
60
\verb+\ltimes+ & $\ltimes$ &\verb+\with+ & $\with$\\
61
\verb+\mathds{1}+ & $\mathds{1}$ &\verb+\wp+ & $\wp$\\
62
\verb+\mathsection+ & $\mathsection$ &\verb+\wr+ & $\wr$\\
63
\verb+\mid+ & $\mid$ &\verb+\{+ & $\{$\\
64
\verb+\models+ & $\models$ &\verb+\|+ & $\|$\\
65
\verb+\mp+ & $\mp$ &\verb+\}+ & $\}$\\
66
\verb+\multimap+ & $\multimap$ &\verb+\vee+ & $\vee$\\
67
\verb+\nabla+ & $\nabla$ &\verb+\wedge+ & $\wedge$\\
68
\verb+\neg+ & $\neg$ &\verb+\barwedge+ & $\barwedge$
69
    \label{table:symbols-of-db-0}
70
    \end{longtable}
71

72

73
\begin{table}[ht]
74
        \centering
75

76
            \begin{tabular}{lc|lc|lc|lc}
77
                \toprule
78
                \LaTeX & Rendered & \LaTeX & Rendered & \LaTeX & Rendered & \LaTeX & Rendered \\
79
                \midrule
80
\verb+\#+ & $\#$ &\verb+A+ & $A$ &\verb+S+ & $S$ &\verb+i+ & $i$\\
81
\verb+\$+ & $\$$ &\verb+B+ & $B$ &\verb+T+ & $T$ &\verb+j+ & $j$\\
82
\verb+\%+ & $\%$ &\verb+C+ & $C$ &\verb+U+ & $U$ &\verb+k+ & $k$\\
83
\verb+++ & $+$ &\verb+D+ & $D$ &\verb+V+ & $V$ &\verb+l+ & $l$\\
84
\verb+-+ & $-$ &\verb+E+ & $E$ &\verb+W+ & $W$ &\verb+m+ & $m$\\
85
\verb+/+ & $/$ &\verb+F+ & $F$ &\verb+X+ & $X$ &\verb+n+ & $n$\\
86
\verb+0+ & $0$ &\verb+G+ & $G$ &\verb+Y+ & $Y$ &\verb+o+ & $o$\\
87
\verb+1+ & $1$ &\verb+H+ & $H$ &\verb+Z+ & $Z$ &\verb+p+ & $p$\\
88
\verb+2+ & $2$ &\verb+I+ & $I$ &\verb+[+ & $[$ &\verb+q+ & $q$\\
89
\verb+3+ & $3$ &\verb+J+ & $J$ &\verb+]+ & $]$ &\verb+r+ & $r$\\
90
\verb+4+ & $4$ &\verb+K+ & $K$ &\verb+a+ & $a$ &\verb+s+ & $s$\\
91
\verb+5+ & $5$ &\verb+L+ & $L$ &\verb+b+ & $b$ &\verb+u+ & $u$\\
92
\verb+6+ & $6$ &\verb+M+ & $M$ &\verb+c+ & $c$ &\verb+v+ & $v$\\
93
\verb+7+ & $7$ &\verb+N+ & $N$ &\verb+d+ & $d$ &\verb+w+ & $w$\\
94
\verb+8+ & $8$ &\verb+O+ & $O$ &\verb+e+ & $e$ &\verb+x+ & $x$\\
95
\verb+9+ & $9$ &\verb+P+ & $P$ &\verb+f+ & $f$ &\verb+y+ & $y$\\
96
\verb+<+ & $<$ &\verb+Q+ & $Q$ &\verb+g+ & $g$ &\verb+z+ & $z$\\
97
\verb+>+ & $>$ &\verb+R+ & $R$ &\verb+h+ & $h$ &\verb+|+ & $|$\\
98

99
        \bottomrule
100
    \end{tabular}
101

102
    \caption{72 ASCII symbols of \dbName, including all
103
             ten digits, the Latin alphabet in lower and upper case and
104
             a few more symbols.}
105
    \label{table:symbols-of-db-1}
106
\end{table}
107

108

109
\begin{table}[ht]
110
        \centering
111
            \begin{tabular}{lc|lc|lc}
112
                \toprule
113
                \LaTeX & Rendered & \LaTeX & Rendered & \LaTeX & Rendered \\
114
                \midrule
115
\verb+\approx+ & $\approx$ &\verb+\geqslant+ & $\geqslant$ &\verb+\lesssim+ & $\lesssim$\\
116
\verb+\doteq+ & $\doteq$ &\verb+\neq+ & $\neq$ &\verb+\backsim+ & $\backsim$\\
117
\verb+\simeq+ & $\simeq$ &\verb+\not\equiv+ & $\not\equiv$ &\verb+\sim+ & $\sim$\\
118
\verb+\equiv+ & $\equiv$ &\verb+\preccurlyeq+ & $\preccurlyeq$ &\verb+\succ+ & $\succ$\\
119
\verb+\geq+ & $\geq$ &\verb+\preceq+ & $\preceq$ &\verb+\prec+ & $\prec$\\
120
\verb+\leq+ & $\leq$ &\verb+\succeq+ & $\succeq$ &\verb+\gtrless+ & $\gtrless$\\
121
\verb+\leqslant+ & $\leqslant$ &\verb+\gtrsim+ & $\gtrsim$ &\verb+\cong+ & $\cong$\\
122
        \bottomrule
123
    \end{tabular}
124

125
    \caption{21 symbols which are in \dbName and indicate a relationship.}
126
    \label{table:symbols-of-db-2}
127
\end{table}
128

129

130
\begin{table}[ht]
131
        \centering
132

133
            \begin{tabular}{lc|lc}
134
                \toprule
135
                \LaTeX & Rendered & \LaTeX & Rendered \\
136
                \midrule
137
\verb+\Downarrow+ & $\Downarrow$ &\verb+\nrightarrow+ & $\nrightarrow$\\
138
\verb+\Leftarrow+ & $\Leftarrow$ &\verb+\rightarrow+ & $\rightarrow$\\
139
\verb+\Leftrightarrow+ & $\Leftrightarrow$ &\verb+\rightleftarrows+ & $\rightleftarrows$\\
140
\verb+\Longleftrightarrow+ & $\Longleftrightarrow$ &\verb+\rightrightarrows+ & $\rightrightarrows$\\
141
\verb+\Longrightarrow+ & $\Longrightarrow$ &\verb+\rightsquigarrow+ & $\rightsquigarrow$\\
142
\verb+\Rightarrow+ & $\Rightarrow$ &\verb+\searrow+ & $\searrow$\\
143
\verb+\circlearrowleft+ & $\circlearrowleft$ &\verb+\shortrightarrow+ & $\shortrightarrow$\\
144
\verb+\circlearrowright+ & $\circlearrowright$ &\verb+\twoheadrightarrow+ & $\twoheadrightarrow$\\
145
\verb+\curvearrowright+ & $\curvearrowright$ &\verb+\uparrow+ & $\uparrow$\\
146
\verb+\downarrow+ & $\downarrow$ &\verb+\rightharpoonup+ & $\rightharpoonup$\\
147
\verb+\hookrightarrow+ & $\hookrightarrow$ &\verb+\rightleftharpoons+ & $\rightleftharpoons$\\
148
\verb+\leftarrow+ & $\leftarrow$ &\verb+\longmapsto+ & $\longmapsto$\\
149
\verb+\leftrightarrow+ & $\leftrightarrow$ &\verb+\mapsfrom+ & $\mapsfrom$\\
150
\verb+\longrightarrow+ & $\longrightarrow$ &\verb+\mapsto+ & $\mapsto$\\
151
\verb+\nRightarrow+ & $\nRightarrow$ &\verb+\leadsto+ & $\leadsto$\\
152
\verb+\nearrow+ & $\nearrow$ &\verb+\upharpoonright+ & $\upharpoonright$\\
153

154
        \bottomrule
155
    \end{tabular}
156

157
    \caption{32 arrow symbols of \dbName.}
158
    \label{table:symbols-of-db-3}
159
\end{table}
160

161

162
\begin{table}[ht]
163
        \centering
164

165
            \begin{tabular}{lc|lc|lc}
166
                \toprule
167
                \LaTeX & Rendered & \LaTeX & Rendered & \LaTeX & Rendered \\
168
                \midrule
169
\verb+\alpha+ & $\alpha$ &\verb+\xi+ & $\xi$ &\verb+\Xi+ & $\Xi$\\
170
\verb+\beta+ & $\beta$ &\verb+\pi+ & $\pi$ &\verb+\Pi+ & $\Pi$\\
171
\verb+\gamma+ & $\gamma$ &\verb+\rho+ & $\rho$ &\verb+\Sigma+ & $\Sigma$\\
172
\verb+\delta+ & $\delta$ &\verb+\sigma+ & $\sigma$ &\verb+\Phi+ & $\Phi$\\
173
\verb+\epsilon+ & $\epsilon$ &\verb+\tau+ & $\tau$ &\verb+\Psi+ & $\Psi$\\
174
\verb+\zeta+ & $\zeta$ &\verb+\phi+ & $\phi$ &\verb+\Omega+ & $\Omega$\\
175
\verb+\eta+ & $\eta$ &\verb+\chi+ & $\chi$ &\verb+\varepsilon+ & $\varepsilon$\\
176
\verb+\theta+ & $\theta$ &\verb+\psi+ & $\psi$ &\verb+\varkappa+ & $\varkappa$\\
177
\verb+\iota+ & $\iota$ &\verb+\omega+ & $\omega$ &\verb+\varpi+ & $\varpi$\\
178
\verb+\kappa+ & $\kappa$ &\verb+\Gamma+ & $\Gamma$ &\verb+\varrho+ & $\varrho$\\
179
\verb+\lambda+ & $\lambda$ &\verb+\Delta+ & $\Delta$ &\verb+\varphi+ & $\varphi$\\
180
\verb+\mu+ & $\mu$ &\verb+\Theta+ & $\Theta$ &\verb+\vartheta+ & $\vartheta$\\
181
\verb+\nu+ & $\nu$ &\verb+\Lambda+ & $\Lambda$ &\verb+ + & $ $\\
182

183
        \bottomrule
184
    \end{tabular}
185

186
    \caption{All Greek letters and some variations of Greek letters were
187
             used for evaluation. 38 of them are in this table, the rest
188
             is identical to Latin letters.}
189
    \label{table:symbols-of-db-4}
190
\end{table}
191

192

193
\begin{table}[ht]
194
        \centering
195

196
            \begin{tabular}{lc|lc|lc}
197
                \toprule
198
                \LaTeX & Rendered & \LaTeX & Rendered & \LaTeX & Rendered \\
199
                \midrule
200
\verb+\mathcal{A}+ & $\mathcal{A}$ &\verb+\mathcal{T}+ & $\mathcal{T}$ &\verb+\mathds{Z}+ & $\mathds{Z}$\\
201
\verb+\mathcal{B}+ & $\mathcal{B}$ &\verb+\mathcal{U}+ & $\mathcal{U}$ &\verb+\mathfrak{A}+ & $\mathfrak{A}$\\
202
\verb+\mathcal{C}+ & $\mathcal{C}$ &\verb+\mathcal{X}+ & $\mathcal{X}$ &\verb+\mathfrak{M}+ & $\mathfrak{M}$\\
203
\verb+\mathcal{D}+ & $\mathcal{D}$ &\verb+\mathcal{Z}+ & $\mathcal{Z}$ &\verb+\mathfrak{S}+ & $\mathfrak{S}$\\
204
\verb+\mathcal{E}+ & $\mathcal{E}$ &\verb+\mathbb{H}+ & $\mathbb{H}$ &\verb+\mathfrak{X}+ & $\mathfrak{X}$\\
205
\verb+\mathcal{F}+ & $\mathcal{F}$ &\verb+\mathbb{N}+ & $\mathbb{N}$ &\verb+\mathscr{A}+ & $\mathscr{A}$\\
206
\verb+\mathcal{G}+ & $\mathcal{G}$ &\verb+\mathbb{Q}+ & $\mathbb{Q}$ &\verb+\mathscr{C}+ & $\mathscr{C}$\\
207
\verb+\mathcal{H}+ & $\mathcal{H}$ &\verb+\mathbb{R}+ & $\mathbb{R}$ &\verb+\mathscr{D}+ & $\mathscr{D}$\\
208
\verb+\mathcal{L}+ & $\mathcal{L}$ &\verb+\mathbb{Z}+ & $\mathbb{Z}$ &\verb+\mathscr{E}+ & $\mathscr{E}$\\
209
\verb+\mathcal{M}+ & $\mathcal{M}$ &\verb+\mathds{C}+ & $\mathds{C}$ &\verb+\mathscr{F}+ & $\mathscr{F}$\\
210
\verb+\mathcal{N}+ & $\mathcal{N}$ &\verb+\mathds{E}+ & $\mathds{E}$ &\verb+\mathscr{H}+ & $\mathscr{H}$\\
211
\verb+\mathcal{O}+ & $\mathcal{O}$ &\verb+\mathds{N}+ & $\mathds{N}$ &\verb+\mathscr{L}+ & $\mathscr{L}$\\
212
\verb+\mathcal{P}+ & $\mathcal{P}$ &\verb+\mathds{P}+ & $\mathds{P}$ &\verb+\mathscr{P}+ & $\mathscr{P}$\\
213
\verb+\mathcal{R}+ & $\mathcal{R}$ &\verb+\mathds{Q}+ & $\mathds{Q}$ &\verb+\mathscr{S}+ & $\mathscr{S}$\\
214
\verb+\mathcal{S}+ & $\mathcal{S}$ &\verb+\mathds{R}+ & $\mathds{R}$ &\verb+ + & $ $\\
215

216
        \bottomrule
217
    \end{tabular}
218

219
    \caption{44 variants of Latin letters in \dbName.}
220
    \label{table:symbols-of-db-5}
221
\end{table}
222

223

224
\begin{table}[ht]
225
        \centering
226

227
            \begin{tabular}{lc|lc|lc}
228
                \toprule
229
                \LaTeX & Rendered & \LaTeX & Rendered & \LaTeX & Rendered \\
230
                \midrule
231
\verb+\therefore+ & $\therefore$ &\verb+\cdot+  & $\cdot$  &\verb+\dots+  & $\dots$\\
232
\verb+\because+   & $\because$   &\verb+\vdots+ & $\vdots$ &\verb+\ddots+ & $\ddots$\\
233
\verb+\dotsc+     & $\dotsc$     &\verb+ +      &          &\verb+ +      &  \\
234
        \bottomrule
235
    \end{tabular}
236

237
    \caption{7 symbols that contain only dots in \dbName.}
238
    \label{table:symbols-of-db-6}
239
\end{table}
240

241

242
\begin{table}[ht]
243
        \centering
244
            \begin{tabular}{lc|lc|lc|lc|lc}
245
                \toprule
246
                \LaTeX & R & \LaTeX & R & \LaTeX & R &  \LaTeX & R & \LaTeX & R \\
247
                \midrule
248
\verb+\AA+ & {\r A}                                                           &\verb+\L+       & \includegraphics[height=12.3pt, keepaspectratio]{symbols/L.pdf} &\verb+\male+     & {\mbox {\wasyfamily \char 26}}                         &\verb+\ohm+      &  $\Omega $                     &\verb+\sun+       & {\mbox {\wasyfamily \char 46}} \\
249
\verb+\AE+ & \includegraphics[height=12.3pt, keepaspectratio]{symbols/AE.pdf} &\verb+\O+       & \includegraphics[height=12.3pt, keepaspectratio]{symbols/L.pdf} &\verb+\mars+     & {\leavevmode \lower 0.2ex\hbox {\wasyfamily \char 26}} &\verb+\fullmoon+ & {\mbox {\wasyfamily \char 35}} &\verb+\degree+    & {\ensuremath {^\circ }}\\
250
\verb+\aa+ & {\r a}                                                           &\verb+\o+       & \includegraphics[height=12.3pt, keepaspectratio]{symbols/o.pdf} &\verb+\female+   & {\mbox {\wasyfamily \char 25}}                         &\verb+\leftmoon+ & {\mbox {\wasyfamily \char 36}} &\verb+\iddots+    & \includegraphics[height=12.3pt, keepaspectratio]{symbols/iddots.pdf}\\
251
\verb+\ae+ & \includegraphics[height=12.3pt, keepaspectratio]{symbols/AE.pdf} &\verb+\Bowtie+  & {\mbox {\wasyfamily \char 49}}                                  &\verb+\venus+    & {\leavevmode \raise 0.2ex\hbox {\wasyfamily \char 25}} &\verb+\checked+  & {\mbox {\wasyfamily \char 8}}  &\verb+\diameter+  & {\mbox {\wasyfamily \char 31}} \\
252
\verb+\ss+ & \includegraphics[height=12.3pt, keepaspectratio]{symbols/ss.pdf} &\verb+\celsius+ & $^\circ \mathrm {C}$                                            &\verb+\astrosun+ & {\mbox {$\odot $}}                                     &\verb+\pounds+   & \textsterling                  &\verb+\mathbb{1}+ & \includegraphics{symbols/mathbb1.pdf}\\
253
        \bottomrule
254
    \end{tabular}
255
    \caption{25 symbols of \dbName.}
256
    \label{table:symbols-of-db-7}
257
\end{table}
258

259

260
\begin{table}[ht]
261
        \centering
262

263
            \begin{tabular}{lc|lc|lc}
264
                \toprule
265
                \LaTeX & Rendered & \LaTeX & Rendered & \LaTeX & Rendered \\
266
                \midrule
267
\verb+\cup+ & $\cup$ &\verb+\varsubsetneq+ & $\varsubsetneq$ &\verb+\exists+ & $\exists$\\
268
\verb+\cap+ & $\cap$ &\verb+\nsubseteq+ & $\nsubseteq$ &\verb+\nexists+ & $\nexists$\\
269
\verb+\emptyset+ & $\emptyset$ &\verb+\sqsubseteq+ & $\sqsubseteq$ &\verb+\forall+ & $\forall$\\
270
\verb+\setminus+ & $\setminus$ &\verb+\subseteq+ & $\subseteq$ &\verb+\in+ & $\in$\\
271
\verb+\supset+ & $\supset$ &\verb+\subsetneq+ & $\subsetneq$ &\verb+\ni+ & $\ni$\\
272
\verb+\subset+ & $\subset$ &\verb+\supseteq+ & $\supseteq$ &\verb+\notin+ & $\notin$\\
273

274
        \bottomrule
275
    \end{tabular}
276

277
    \caption{18 set related symbols of \dbName.}
278
    \label{table:symbols-of-db-8}
279
\end{table}
280
\clearpage
281
Product

Resources

Company
