<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body><p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">Hi there.</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">I'm using the module Theorems (AMS, Numbered by Type).</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">I would like to change the counters of theorem-like environs, adding a fixed string in front of the number. Something like </p>
<br /><p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">Theorem TGA-1</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">Definition TGA-2</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">etc</p>
<br /><p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">Can I do that the usual way that is done for the standard LaTeX counters?</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">I mean, in ERT: </p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;"><span style="font-family:sans-serif;">\renewcommand{\theequation}{TGA-\arabic{equation}}</span> </p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">I that case, I would need to know the names of the counters, but I can't find them.</p>
<br /><p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">Or is there another way?</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">Thanks.</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">-- </p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">Rudi Gaelzer</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">Institute of Physics</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">Federal University of Rio Grande do Sul</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">BRAZIL</p>
<p style="margin-top:0;margin-bottom:0;margin-left:0;margin-right:0;">Registered linux user # 153741</p>
</body>
</html>