Resolve all math symbols we care about