Aristarchian_symbols loading ...