latex_symbol_manager
