<!--TEI.extensions.dtd file generated by pizzaChef 1.4 for pid 8256 on 22 Oct 2003 -->
<!-- Original TEI declarations for formula -->
<!ELEMENT formula %om.RR; %formulaContent;> <!ATTLIST formula %a.global; notation %formulaNotations; #REQUIRED TEIform CDATA 'formula' >