[all_symbols.gif]