diff --git a/docs/syntax/exports.syn b/docs/syntax/exports.syn
new file mode 100644
index 0000000000..4fb373c53e
--- /dev/null
+++ b/docs/syntax/exports.syn
@@ -0,0 +1,18 @@
+\begin{diagram}{Exports clause}{ExportClause}
+\begin{mysyntdiag}
+\synt{exports\ clause}
+\lit*{exports} 
+\synt{exports\ list}
+\lit*{;}
+\end{mysyntdiag}
+\begin{mysyntdiag}
+\synt{exports\ list}
+\<[b] \synt{exports\ entry} \\ \lit* , \>
+\end{mysyntdiag}
+\begin{mysyntdiag}
+\synt{exports\ entry}
+\synt{identifier} 
+\[ \lit*{index} \synt{integer\ constant} \]
+\[ \lit*{name} \synt{string\ constant} \]
+\end{mysyntdiag}
+\end{diagram}
\ No newline at end of file
diff --git a/docs/syntax/library.syn b/docs/syntax/library.syn
new file mode 100644
index 0000000000..5cb633dc18
--- /dev/null
+++ b/docs/syntax/library.syn
@@ -0,0 +1,14 @@
+\begin{diagram}{Libraries}{libraries}
+\begin{mysyntdiag}
+\synt{library}
+\synt{library\ header} 
+\lit* ; 
+\[ \synt{uses\ clause} \]
+\synt{block}
+\lit* .
+\end{mysyntdiag}
+\begin{mysyntdiag}
+\synt{library\ header}
+\lit*{library} \synt{identifier}
+\end{mysyntdiag}
+\end{diagram}
\ No newline at end of file