publications/hasy: Fix rendering issue

publications/hasy/content.tex

@@ -318,7 +318,7 @@ Those classes account for \SI{2.8}{\percent} of the data.
     \LaTeX & Rendered & Total & Confused with & \\\midrule
     \verb+\mid+ & $\mid$ & 34 & \verb+|+ & $|$ \\
     \verb+\triangle+ & $\triangle$ & 32 & \verb+\Delta+ & $\Delta$ \\
-    \verb+\mathds{1}+ & $\mathds{1}$ & 32 & \verb+\mathbb{1}+ & $\mathbb{1}$ \\
+    \verb+\mathds{1}+ & $\mathds{1}$ & 32 & \verb+\mathbb{1}+ & \includegraphics{symbols/mathbb1.pdf} \\
     \verb+\checked+ & {\mbox {\wasyfamily \char 8}} & 28 & \verb+\checkmark+ & $\checkmark$ \\
     \verb+\shortrightarrow+ & $\shortrightarrow$ & 28 & \verb+\rightarrow+ & $\rightarrow$ \\
     \verb+\Longrightarrow+ & $\Longrightarrow$ & 27 & \verb+\Rightarrow+ & $\Rightarrow$ \\

publications/hasy/used-latex-symbols.tex

@@ -249,7 +249,7 @@
 \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 }}\\
 \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}\\
 \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}} \\
-\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[height=12.3pt, keepaspectratio]{symbols/mathbb-1.pdf}\\
+\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}\\
         \bottomrule
     \end{tabular}
     \caption{25 symbols of \dbName.}