used-latex-symbols.tex 15 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280
  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. \begin{table}[ht]
  72. \centering
  73. \begin{tabular}{lc|lc|lc|lc}
  74. \toprule
  75. \LaTeX & Rendered & \LaTeX & Rendered & \LaTeX & Rendered & \LaTeX & Rendered \\
  76. \midrule
  77. \verb+\#+ & $\#$ &\verb+A+ & $A$ &\verb+S+ & $S$ &\verb+i+ & $i$\\
  78. \verb+\$+ & $\$$ &\verb+B+ & $B$ &\verb+T+ & $T$ &\verb+j+ & $j$\\
  79. \verb+\%+ & $\%$ &\verb+C+ & $C$ &\verb+U+ & $U$ &\verb+k+ & $k$\\
  80. \verb+++ & $+$ &\verb+D+ & $D$ &\verb+V+ & $V$ &\verb+l+ & $l$\\
  81. \verb+-+ & $-$ &\verb+E+ & $E$ &\verb+W+ & $W$ &\verb+m+ & $m$\\
  82. \verb+/+ & $/$ &\verb+F+ & $F$ &\verb+X+ & $X$ &\verb+n+ & $n$\\
  83. \verb+0+ & $0$ &\verb+G+ & $G$ &\verb+Y+ & $Y$ &\verb+o+ & $o$\\
  84. \verb+1+ & $1$ &\verb+H+ & $H$ &\verb+Z+ & $Z$ &\verb+p+ & $p$\\
  85. \verb+2+ & $2$ &\verb+I+ & $I$ &\verb+[+ & $[$ &\verb+q+ & $q$\\
  86. \verb+3+ & $3$ &\verb+J+ & $J$ &\verb+]+ & $]$ &\verb+r+ & $r$\\
  87. \verb+4+ & $4$ &\verb+K+ & $K$ &\verb+a+ & $a$ &\verb+s+ & $s$\\
  88. \verb+5+ & $5$ &\verb+L+ & $L$ &\verb+b+ & $b$ &\verb+u+ & $u$\\
  89. \verb+6+ & $6$ &\verb+M+ & $M$ &\verb+c+ & $c$ &\verb+v+ & $v$\\
  90. \verb+7+ & $7$ &\verb+N+ & $N$ &\verb+d+ & $d$ &\verb+w+ & $w$\\
  91. \verb+8+ & $8$ &\verb+O+ & $O$ &\verb+e+ & $e$ &\verb+x+ & $x$\\
  92. \verb+9+ & $9$ &\verb+P+ & $P$ &\verb+f+ & $f$ &\verb+y+ & $y$\\
  93. \verb+<+ & $<$ &\verb+Q+ & $Q$ &\verb+g+ & $g$ &\verb+z+ & $z$\\
  94. \verb+>+ & $>$ &\verb+R+ & $R$ &\verb+h+ & $h$ &\verb+|+ & $|$\\
  95. \bottomrule
  96. \end{tabular}
  97. \caption{72 ASCII symbols of \dbName, including all
  98. ten digits, the Latin alphabet in lower and upper case and
  99. a few more symbols.}
  100. \label{table:symbols-of-db-1}
  101. \end{table}
  102. \begin{table}[ht]
  103. \centering
  104. \begin{tabular}{lc|lc|lc}
  105. \toprule
  106. \LaTeX & Rendered & \LaTeX & Rendered & \LaTeX & Rendered \\
  107. \midrule
  108. \verb+\approx+ & $\approx$ &\verb+\geqslant+ & $\geqslant$ &\verb+\lesssim+ & $\lesssim$\\
  109. \verb+\doteq+ & $\doteq$ &\verb+\neq+ & $\neq$ &\verb+\backsim+ & $\backsim$\\
  110. \verb+\simeq+ & $\simeq$ &\verb+\not\equiv+ & $\not\equiv$ &\verb+\sim+ & $\sim$\\
  111. \verb+\equiv+ & $\equiv$ &\verb+\preccurlyeq+ & $\preccurlyeq$ &\verb+\succ+ & $\succ$\\
  112. \verb+\geq+ & $\geq$ &\verb+\preceq+ & $\preceq$ &\verb+\prec+ & $\prec$\\
  113. \verb+\leq+ & $\leq$ &\verb+\succeq+ & $\succeq$ &\verb+\gtrless+ & $\gtrless$\\
  114. \verb+\leqslant+ & $\leqslant$ &\verb+\gtrsim+ & $\gtrsim$ &\verb+\cong+ & $\cong$\\
  115. \bottomrule
  116. \end{tabular}
  117. \caption{21 symbols which are in \dbName and indicate a relationship.}
  118. \label{table:symbols-of-db-2}
  119. \end{table}
  120. \begin{table}[ht]
  121. \centering
  122. \begin{tabular}{lc|lc}
  123. \toprule
  124. \LaTeX & Rendered & \LaTeX & Rendered \\
  125. \midrule
  126. \verb+\Downarrow+ & $\Downarrow$ &\verb+\nrightarrow+ & $\nrightarrow$\\
  127. \verb+\Leftarrow+ & $\Leftarrow$ &\verb+\rightarrow+ & $\rightarrow$\\
  128. \verb+\Leftrightarrow+ & $\Leftrightarrow$ &\verb+\rightleftarrows+ & $\rightleftarrows$\\
  129. \verb+\Longleftrightarrow+ & $\Longleftrightarrow$ &\verb+\rightrightarrows+ & $\rightrightarrows$\\
  130. \verb+\Longrightarrow+ & $\Longrightarrow$ &\verb+\rightsquigarrow+ & $\rightsquigarrow$\\
  131. \verb+\Rightarrow+ & $\Rightarrow$ &\verb+\searrow+ & $\searrow$\\
  132. \verb+\circlearrowleft+ & $\circlearrowleft$ &\verb+\shortrightarrow+ & $\shortrightarrow$\\
  133. \verb+\circlearrowright+ & $\circlearrowright$ &\verb+\twoheadrightarrow+ & $\twoheadrightarrow$\\
  134. \verb+\curvearrowright+ & $\curvearrowright$ &\verb+\uparrow+ & $\uparrow$\\
  135. \verb+\downarrow+ & $\downarrow$ &\verb+\rightharpoonup+ & $\rightharpoonup$\\
  136. \verb+\hookrightarrow+ & $\hookrightarrow$ &\verb+\rightleftharpoons+ & $\rightleftharpoons$\\
  137. \verb+\leftarrow+ & $\leftarrow$ &\verb+\longmapsto+ & $\longmapsto$\\
  138. \verb+\leftrightarrow+ & $\leftrightarrow$ &\verb+\mapsfrom+ & $\mapsfrom$\\
  139. \verb+\longrightarrow+ & $\longrightarrow$ &\verb+\mapsto+ & $\mapsto$\\
  140. \verb+\nRightarrow+ & $\nRightarrow$ &\verb+\leadsto+ & $\leadsto$\\
  141. \verb+\nearrow+ & $\nearrow$ &\verb+\upharpoonright+ & $\upharpoonright$\\
  142. \bottomrule
  143. \end{tabular}
  144. \caption{32 arrow symbols of \dbName.}
  145. \label{table:symbols-of-db-3}
  146. \end{table}
  147. \begin{table}[ht]
  148. \centering
  149. \begin{tabular}{lc|lc|lc}
  150. \toprule
  151. \LaTeX & Rendered & \LaTeX & Rendered & \LaTeX & Rendered \\
  152. \midrule
  153. \verb+\alpha+ & $\alpha$ &\verb+\xi+ & $\xi$ &\verb+\Xi+ & $\Xi$\\
  154. \verb+\beta+ & $\beta$ &\verb+\pi+ & $\pi$ &\verb+\Pi+ & $\Pi$\\
  155. \verb+\gamma+ & $\gamma$ &\verb+\rho+ & $\rho$ &\verb+\Sigma+ & $\Sigma$\\
  156. \verb+\delta+ & $\delta$ &\verb+\sigma+ & $\sigma$ &\verb+\Phi+ & $\Phi$\\
  157. \verb+\epsilon+ & $\epsilon$ &\verb+\tau+ & $\tau$ &\verb+\Psi+ & $\Psi$\\
  158. \verb+\zeta+ & $\zeta$ &\verb+\phi+ & $\phi$ &\verb+\Omega+ & $\Omega$\\
  159. \verb+\eta+ & $\eta$ &\verb+\chi+ & $\chi$ &\verb+\varepsilon+ & $\varepsilon$\\
  160. \verb+\theta+ & $\theta$ &\verb+\psi+ & $\psi$ &\verb+\varkappa+ & $\varkappa$\\
  161. \verb+\iota+ & $\iota$ &\verb+\omega+ & $\omega$ &\verb+\varpi+ & $\varpi$\\
  162. \verb+\kappa+ & $\kappa$ &\verb+\Gamma+ & $\Gamma$ &\verb+\varrho+ & $\varrho$\\
  163. \verb+\lambda+ & $\lambda$ &\verb+\Delta+ & $\Delta$ &\verb+\varphi+ & $\varphi$\\
  164. \verb+\mu+ & $\mu$ &\verb+\Theta+ & $\Theta$ &\verb+\vartheta+ & $\vartheta$\\
  165. \verb+\nu+ & $\nu$ &\verb+\Lambda+ & $\Lambda$ &\verb+ + & $ $\\
  166. \bottomrule
  167. \end{tabular}
  168. \caption{All Greek letters and some variations of Greek letters were
  169. used for evaluation. 38 of them are in this table, the rest
  170. is identical to Latin letters.}
  171. \label{table:symbols-of-db-4}
  172. \end{table}
  173. \begin{table}[ht]
  174. \centering
  175. \begin{tabular}{lc|lc|lc}
  176. \toprule
  177. \LaTeX & Rendered & \LaTeX & Rendered & \LaTeX & Rendered \\
  178. \midrule
  179. \verb+\mathcal{A}+ & $\mathcal{A}$ &\verb+\mathcal{T}+ & $\mathcal{T}$ &\verb+\mathds{Z}+ & $\mathds{Z}$\\
  180. \verb+\mathcal{B}+ & $\mathcal{B}$ &\verb+\mathcal{U}+ & $\mathcal{U}$ &\verb+\mathfrak{A}+ & $\mathfrak{A}$\\
  181. \verb+\mathcal{C}+ & $\mathcal{C}$ &\verb+\mathcal{X}+ & $\mathcal{X}$ &\verb+\mathfrak{M}+ & $\mathfrak{M}$\\
  182. \verb+\mathcal{D}+ & $\mathcal{D}$ &\verb+\mathcal{Z}+ & $\mathcal{Z}$ &\verb+\mathfrak{S}+ & $\mathfrak{S}$\\
  183. \verb+\mathcal{E}+ & $\mathcal{E}$ &\verb+\mathbb{H}+ & $\mathbb{H}$ &\verb+\mathfrak{X}+ & $\mathfrak{X}$\\
  184. \verb+\mathcal{F}+ & $\mathcal{F}$ &\verb+\mathbb{N}+ & $\mathbb{N}$ &\verb+\mathscr{A}+ & $\mathscr{A}$\\
  185. \verb+\mathcal{G}+ & $\mathcal{G}$ &\verb+\mathbb{Q}+ & $\mathbb{Q}$ &\verb+\mathscr{C}+ & $\mathscr{C}$\\
  186. \verb+\mathcal{H}+ & $\mathcal{H}$ &\verb+\mathbb{R}+ & $\mathbb{R}$ &\verb+\mathscr{D}+ & $\mathscr{D}$\\
  187. \verb+\mathcal{L}+ & $\mathcal{L}$ &\verb+\mathbb{Z}+ & $\mathbb{Z}$ &\verb+\mathscr{E}+ & $\mathscr{E}$\\
  188. \verb+\mathcal{M}+ & $\mathcal{M}$ &\verb+\mathds{C}+ & $\mathds{C}$ &\verb+\mathscr{F}+ & $\mathscr{F}$\\
  189. \verb+\mathcal{N}+ & $\mathcal{N}$ &\verb+\mathds{E}+ & $\mathds{E}$ &\verb+\mathscr{H}+ & $\mathscr{H}$\\
  190. \verb+\mathcal{O}+ & $\mathcal{O}$ &\verb+\mathds{N}+ & $\mathds{N}$ &\verb+\mathscr{L}+ & $\mathscr{L}$\\
  191. \verb+\mathcal{P}+ & $\mathcal{P}$ &\verb+\mathds{P}+ & $\mathds{P}$ &\verb+\mathscr{P}+ & $\mathscr{P}$\\
  192. \verb+\mathcal{R}+ & $\mathcal{R}$ &\verb+\mathds{Q}+ & $\mathds{Q}$ &\verb+\mathscr{S}+ & $\mathscr{S}$\\
  193. \verb+\mathcal{S}+ & $\mathcal{S}$ &\verb+\mathds{R}+ & $\mathds{R}$ &\verb+ + & $ $\\
  194. \bottomrule
  195. \end{tabular}
  196. \caption{44 variants of Latin letters in \dbName.}
  197. \label{table:symbols-of-db-5}
  198. \end{table}
  199. \begin{table}[ht]
  200. \centering
  201. \begin{tabular}{lc|lc|lc}
  202. \toprule
  203. \LaTeX & Rendered & \LaTeX & Rendered & \LaTeX & Rendered \\
  204. \midrule
  205. \verb+\therefore+ & $\therefore$ &\verb+\cdot+ & $\cdot$ &\verb+\dots+ & $\dots$\\
  206. \verb+\because+ & $\because$ &\verb+\vdots+ & $\vdots$ &\verb+\ddots+ & $\ddots$\\
  207. \verb+\dotsc+ & $\dotsc$ &\verb+ + & &\verb+ + & \\
  208. \bottomrule
  209. \end{tabular}
  210. \caption{7 symbols that contain only dots in \dbName.}
  211. \label{table:symbols-of-db-6}
  212. \end{table}
  213. \begin{table}[ht]
  214. \centering
  215. \begin{tabular}{lc|lc|lc|lc|lc}
  216. \toprule
  217. \LaTeX & R & \LaTeX & R & \LaTeX & R & \LaTeX & R & \LaTeX & R \\
  218. \midrule
  219. \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}} \\
  220. \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 }}\\
  221. \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}\\
  222. \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}} \\
  223. \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}\\
  224. \bottomrule
  225. \end{tabular}
  226. \caption{25 symbols of \dbName.}
  227. \label{table:symbols-of-db-7}
  228. \end{table}
  229. \begin{table}[ht]
  230. \centering
  231. \begin{tabular}{lc|lc|lc}
  232. \toprule
  233. \LaTeX & Rendered & \LaTeX & Rendered & \LaTeX & Rendered \\
  234. \midrule
  235. \verb+\cup+ & $\cup$ &\verb+\varsubsetneq+ & $\varsubsetneq$ &\verb+\exists+ & $\exists$\\
  236. \verb+\cap+ & $\cap$ &\verb+\nsubseteq+ & $\nsubseteq$ &\verb+\nexists+ & $\nexists$\\
  237. \verb+\emptyset+ & $\emptyset$ &\verb+\sqsubseteq+ & $\sqsubseteq$ &\verb+\forall+ & $\forall$\\
  238. \verb+\setminus+ & $\setminus$ &\verb+\subseteq+ & $\subseteq$ &\verb+\in+ & $\in$\\
  239. \verb+\supset+ & $\supset$ &\verb+\subsetneq+ & $\subsetneq$ &\verb+\ni+ & $\ni$\\
  240. \verb+\subset+ & $\subset$ &\verb+\supseteq+ & $\supseteq$ &\verb+\notin+ & $\notin$\\
  241. \bottomrule
  242. \end{tabular}
  243. \caption{18 set related symbols of \dbName.}
  244. \label{table:symbols-of-db-8}
  245. \end{table}
  246. \clearpage