jQuery.noConflict();
function gtid(x){
if(x!=undefined) return " "+x+"
";
return "
";
}
function gtname(x){
if(x!=undefined) return "";
return " ";
}
function clearsubdashes(x){
var a = new RegExp(String.fromCharCode(95),'g');
x = x.replace(a, String.fromCharCode(32));
return x;
}
jQuery(document).ready(
function(){
jQuery('.proposition').css('color','#006500');
jQuery('.lemma').css('color','#006500');
jQuery('.corollary').css('color','#006500');
var typ = new Array(".section",".subsection",".subsubsection",".paragraph",".subparagraph");
for(k=0;k'+ jQuery(this).attr('id')+''+gtname(jQuery(this).attr('name')))
.wrap('')});
}
jQuery('.enumerate').each( function(){jQuery(this)
.wrap('
')});
jQuery('.description').each( function(){jQuery(this)
.wrap('
')});
jQuery('.itemize').each( function(){jQuery(this)
.wrap('')});
jQuery('.item').each( function(){jQuery(this)
.wrap('')});
var hd = new Array("h1","h2","h3","h4","h5","h6");
for(k=0;k '+current
+' '+gtid(jQuery(this).attr('id'))+gtname(jQuery(this).attr('name')) )
.wrap('')});
}
jQuery('.proof').before('
Proof ');
jQuery('.equation').each( function(){jQuery(this)
.before('
'+gtname(jQuery(this).attr('num')))
.append('('+jQuery(this).attr('num')+')')});
jQuery('.eq').before('
');
jQuery('.skip').replaceWith(' ');
jQuery('.quad').replaceWith(' ');
jQuery('.qquad').replaceWith(' ');
jQuery('.cr').replaceWith('
');
jQuery('.ref').each( function(){jQuery(this)
.replaceWith(""+jQuery(this).text()+"")});
jQuery('.labelref').each( function(){jQuery(this)
.replaceWith(""+jQuery(this).attr('name')+"")});
jQuery('proposition').css('color','#006500');
jQuery('lemma').css('color','#006500');
jQuery('corollary').css('color','#006500');
var typ = new Array("section","subsection","subsubsection","paragraph","subparagraph");
for(k=0;k'+ jQuery(this).attr('id')+''+gtname(jQuery(this).attr('name')))
.wrap('')});
}
var hd = new Array("h1","h2","h3","h4","h5","h6");
for(k=0;k')});
jQuery('description').each( function(){jQuery(this)
.wrap('
')});
jQuery('itemize').each( function(){jQuery(this)
.wrap('')});
jQuery('item').each( function(){jQuery(this)
.wrap('')});
var typp = new Array("theorem","proposition","lemma","corollary","remark","example");
for(k=0;k '+current
+' '+gtid(jQuery(this).attr('id'))+gtname(jQuery(this).attr('name')) )
.wrap('')});
}
jQuery('proof').before('
Proof ');
jQuery('equation').each( function(){jQuery(this)
.before('
'+gtname(jQuery(this).attr('num')))
.append('('+jQuery(this).attr('num')+')')});
jQuery('eq').before('
');
jQuery('skip').replaceWith(' ');
jQuery('quad').replaceWith(' ');
jQuery('qquad').replaceWith(' ');
jQuery('cr').replaceWith('
');
jQuery('ref').each( function(){jQuery(this)
.replaceWith(""+jQuery(this).text()+"")});
jQuery('labelref').each( function(){jQuery(this)
.replaceWith(""+jQuery(this).attr('name')+"")});
var y = jQuery("a.reflink:last").text();
if(y.indexOf("Contents")>0){
jQuery("a.reflink:last").prepend(" ").append("↺");
} else {
jQuery("a.reflink:last").prepend(" ").append("↪");
}
jQuery("a.reflink").not(':last').prepend("»");
});