symbol.pl: corrected documentation