Yes, this is so useful when it is present. Whenever I read an even moderately mathematical paper I end up making one myself (including the meanings and types of all the variables).