A Manual for Translators of Mathematical Russian