\Adom, \Acall, \Acont

Stephen Weeks MLton@sourcelight.com
Mon, 12 Mar 2001 15:53:58 -0800 (PST)


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?