diff --git a/publications/hasy/symbols/AE.pdf b/publications/hasy/symbols/AE.pdf
new file mode 100644
index 0000000..ef2fcca
Binary files /dev/null and b/publications/hasy/symbols/AE.pdf differ
diff --git a/publications/hasy/symbols/L.pdf b/publications/hasy/symbols/L.pdf
new file mode 100644
index 0000000..5f399c2
Binary files /dev/null and b/publications/hasy/symbols/L.pdf differ
diff --git a/publications/hasy/symbols/O.pdf b/publications/hasy/symbols/O.pdf
new file mode 100644
index 0000000..702cdc2
Binary files /dev/null and b/publications/hasy/symbols/O.pdf differ
diff --git a/publications/hasy/symbols/ae.pdf b/publications/hasy/symbols/ae.pdf
new file mode 100644
index 0000000..ae14d28
Binary files /dev/null and b/publications/hasy/symbols/ae.pdf differ
diff --git a/publications/hasy/symbols/iddots.pdf b/publications/hasy/symbols/iddots.pdf
new file mode 100644
index 0000000..9a2f640
Binary files /dev/null and b/publications/hasy/symbols/iddots.pdf differ
diff --git a/publications/hasy/symbols/mathbb1.pdf b/publications/hasy/symbols/mathbb1.pdf
new file mode 100644
index 0000000..a007e8f
--- /dev/null
+++ b/publications/hasy/symbols/mathbb1.pdf
@@ -0,0 +1,70 @@
+%PDF-1.5
+%����
+3 0 obj
+<< /Length 4 0 R
+   /Filter /FlateDecode
+>>
+stream
+x�]�An1E����ml�G�,%Y4�&��
+x⎢Y���l�F��7�|3�^�$����dJ<�r2W��#j�g�V�ģ�Ԫ���$�t��u�����IA5�?1V#s�
'����T��Q�
+Z�v�Ö.$��E��7yOwn��3qi��:.Tb�� o�=%��t��O�h�A��R�v9v�7?l/����E�J�F�Y��d�����
�W]�
+endstream
+endobj
+4 0 obj
+   217
+endobj
+2 0 obj
+<<
+   /ExtGState <<
+      /a0 << /CA 1 /ca 1 >>
+   >>
+>>
+endobj
+5 0 obj
+<< /Type /Page
+   /Parent 1 0 R
+   /MediaBox [ 0 0 4.421875 6.421875 ]
+   /Contents 3 0 R
+   /Group <<
+      /Type /Group
+      /S /Transparency
+      /I true
+      /CS /DeviceRGB
+   >>
+   /Resources 2 0 R
+>>
+endobj
+1 0 obj
+<< /Type /Pages
+   /Kids [ 5 0 R ]
+   /Count 1
+>>
+endobj
+6 0 obj
+<< /Creator (cairo 1.14.6 (http://cairographics.org))
+   /Producer (cairo 1.14.6 (http://cairographics.org))
+>>
+endobj
+7 0 obj
+<< /Type /Catalog
+   /Pages 1 0 R
+>>
+endobj
+xref
+0 8
+0000000000 65535 f 
+0000000627 00000 n 
+0000000331 00000 n 
+0000000015 00000 n 
+0000000309 00000 n 
+0000000403 00000 n 
+0000000692 00000 n 
+0000000819 00000 n 
+trailer
+<< /Size 8
+   /Root 7 0 R
+   /Info 6 0 R
+>>
+startxref
+871
+%%EOF
diff --git a/publications/hasy/symbols/o.pdf b/publications/hasy/symbols/o.pdf
new file mode 100644
index 0000000..810dfaf
Binary files /dev/null and b/publications/hasy/symbols/o.pdf differ
diff --git a/publications/hasy/symbols/shortmid.pdf b/publications/hasy/symbols/shortmid.pdf
new file mode 100644
index 0000000..096c507
Binary files /dev/null and b/publications/hasy/symbols/shortmid.pdf differ
diff --git a/publications/hasy/symbols/ss.pdf b/publications/hasy/symbols/ss.pdf
new file mode 100644
index 0000000..7ec4dfa
Binary files /dev/null and b/publications/hasy/symbols/ss.pdf differ
diff --git a/publications/hasy/symbols/textpipe.pdf b/publications/hasy/symbols/textpipe.pdf
new file mode 100644
index 0000000..8c35a04
Binary files /dev/null and b/publications/hasy/symbols/textpipe.pdf differ