I’d like to garbage-collect some symbols in the math I’m currently writing, help