Project created

symbols.tex

+% Syntax: <Symbol> <Label> <Name>
+% The symbols are sorted by their labels
+\addsymboltolist{$\Pi$}{Pi}{Projection}
+\addsymboltolist{$\Join$}{Join}{Natural Join}
+\addsymboltolist{$\sigma$}{Selection}{Selection}