There is a problem in their definition that causes the font of the subscript to appear rigid when in text mode, but slanted in theorem statements. Look at, e.g., theorem 4 and the text at the start of the proof. The "cont" in A_cont looks different. Any idea on how to fix?