Wolfram Diestel: formuloj per am

revuloj · Feb 14, 2020 · d7f0ca6 · d7f0ca6
1 parent 3f33728
commit d7f0ca6
Showing 1 changed file with 34 additions and 28 deletions.
diff --git a/revo/ferm.xml b/revo/ferm.xml
@@ -1,7 +1,7 @@
 <?xml version="1.0"?>
 <!DOCTYPE vortaro SYSTEM "../dtd/vokoxml.dtd">
 <vortaro>
-<art mrk="$Id$">
+<art mrk="$Id: ferm.xml,v 1.66 2020/02/14 18:10:16 revo Exp $">
 <kap>
   <ofc>*</ofc>
   <rad>ferm</rad>/i <fnt><bib>PV</bib></fnt>
@@ -195,26 +195,28 @@
   <fnt><bib>PIV2</bib></fnt>
   <snc mrk="ferm.0ajxo.MAT">
     <dif>
-      <klr>(de subaro <frm><g>A</g></frm> en
+      <klr>(de subaro <frm am="bb A"><g>A</g></frm> en
       <ref cel="spac.topologia0o">topologia spaco</ref>)</klr>
       La plej malgranda <ref cel="ferm.0ita.topologio"><tld/>ita</ref>
       <ref tip="super" cel="ar.sub0o">subaro</ref>, inkluzivanta
-      <frm><g>A</g></frm> (alidire: la
+      <frm am="bb A"><g>A</g></frm> (alidire: la
       <ref cel="komun.0ajxo.aro">komuna&jcirc;o</ref> de
       &ccirc;iuj <tld/>itaj subaroj, inkluzivantaj &gcirc;in) :
       <ekz>
-        la <tld/>a&jcirc;on de <frm><g>A</g></frm> oni kutime signas per
-        <frm><g>A</g></frm> kun supra horizontala streko, nome
-        <frm><g>A</g>&#773;</frm> <klr>(legu: a trabo)</klr>;
+        la <tld/>a&jcirc;on de <frm am="bb A"><g>A</g></frm> oni kutime signas
+        per
+        <frm am="bb A"><g>A</g></frm> kun supra horizontala streko, nome
+        <frm am="bar bb A"><g>&#773;A</g></frm> <klr> (legu: a
+        trabo)</klr>;
       </ekz>
       <ekz>
-        <frm><g>A</g></frm> havas komunajn punktojn kun ajna
+        <frm am="bb A"><g>A</g></frm> havas komunajn punktojn kun ajna
         <ref cel="cxirka.0ajxo.topologio">&ccirc;irka&ubreve;a&jcirc;o
         </ref> de ajna punkto en la <tld/>a&jcirc;o de
-        <frm><g>A</g></frm>;
+        <frm am="bb A"><g>A</g></frm>;
       </ekz>
       <ekz>
-        la <tld/>a&jcirc;o de <frm><g>A</g></frm> estas la kuna&jcirc;o
+        la <tld/>a&jcirc;o de <frm am="bb A"><g>A</g></frm> estas la kuna&jcirc;o
         de &gcirc;iaj mal<tld/>a&jcirc;o kaj
         <ref cel="rand.0o.topologio">rando</ref>.
       </ekz>
@@ -329,7 +331,7 @@
     <dif>
       <klr>(p.p. subaro de
       <ref cel="spac.topologia0o">topologia spaco</ref>
-      <frm>(<g>E</g>,<g>T</g>)</frm>)</klr>
+      <frm am="(bb E,bb T)">(<g>E</g>,<g>T</g>)</frm>)</klr>
       Tia, ke &gcirc;ia <ref cel="komple1.0o.aro">komplemento</ref>
       estas <ref cel="ferm.mal0ita.topologio">malfermita</ref>.
     </dif>
@@ -582,25 +584,28 @@
     <uzo tip="fak">MAT</uzo>
     <fnt><bib>PIV2</bib></fnt>
     <dif>
-      <klr>(de subaro <frm><g>A</g></frm> en
+      <klr>(de subaro <frm am="bb A"><g>A</g></frm> en
       <ref cel="spac.topologia0o">topologia spaco</ref>)</klr>
       La plej granda <ref cel="ferm.mal0ita.topologio">mal<tld/>ita
       </ref>
       <ref tip="super" cel="ar.sub0o">subaro</ref>, inkluzivata
-      de <frm><g>A</g></frm> (alidire: la
+      de <frm am="bb A"><g>A</g></frm> (alidire: la
       <ref cel="kun.0ajxo.aro">kuna&jcirc;o</ref> de
       &ccirc;iuj mal<tld/>itaj subaroj, inkluzivataj de &gcirc;i) :
       <ekz>
-        la mal<tld/>a&jcirc;on de <frm><g>A</g></frm> oni kutime signas
-        per <frm><g>A</g></frm> kun supra ringo, nome
-        <frm><g>A</g>&#778;</frm> <klr>(legu: a ringo)</klr>;
+        la mal<tld/>a&jcirc;on de <frm am="bb A"><g>A</g></frm> oni kutime
+        signas
+        per <frm am="bb A"><g>A</g></frm> kun supra ringo, nome
+        <frm am="bb &Aring;"><g>&Aring;</g></frm> <klr> (legu: a ringo)</klr>;
       </ekz>
       <ekz>
         mal<tld/>ita aro identas kun sia mal<tld/>a&jcirc;o;
       </ekz>
       <ekz>
-        la komplemento de la mal<tld/>a&jcirc;o de <frm><g>A</g></frm>
-        egalas al la <tld/>a&jcirc;o de la komplemento de <frm><g>A</g>
+        la komplemento de la mal<tld/>a&jcirc;o de <frm am="bb
+        A"><g>A</g></frm>
+        egalas al la <tld/>a&jcirc;o de la komplemento de <frm am="bb
+        A"><g>A</g>
         </frm>.
       </ekz>
     </dif>
@@ -697,8 +702,8 @@
       <dif>
         <klr>(p.p. subaro de <ref cel="spac.topologia0o">topologia
         spaco</ref>
-        <frm>(<g>E</g>,<g>T</g>)</frm>)</klr>
-        Apartenanta al <frm><g>T</g></frm>.
+        <frm am="(bb E,bb T)">(<g>E</g>,<g>T</g>)</frm>)</klr>
+        Apartenanta al <frm am="bb T"><g>T</g></frm>.
       </dif>
       <rim>
         Ial nur la neologismo <ctl>aperta</ctl> aperas en
@@ -713,10 +718,11 @@
       <dif>
         <klr>(p.p. subaro de
         <ref cel="spac.metrika0o">metrika spaco</ref>)</klr>
-        Tia, ke por &ccirc;iu &gcirc;ia punkto <frm><k>x</k></frm>
+        Tia, ke por &ccirc;iu &gcirc;ia punkto <frm am="x"><k>x</k></frm>
         &gcirc;i inkluzivas malfermitan
         <ref cel="glob.0o.metrikaspaco">globon</ref> kun centro
-        <frm><k>x</k></frm> kaj radiuso <frm>&rho; > 0</frm>:
+        <frm am="x"><k>x</k></frm> kaj radiuso <frm am="rho gt 0">&rho; >
+        0</frm>:
         <ekz>
           la mal<tld/>itaj aroj de metrika spaco konsistigas &gcirc;ian
           kutiman <ref cel="topolo.0o.strukturo">topologion</ref>.
@@ -826,7 +832,13 @@
 </drv>
 </art>
 <!--
-$Log$
+$Log: ferm.xml,v $
+versio 1.66 2020/02/14 18:10:16
+Wolfram Diestel: formuloj per am
+
+Revision 1.65  2019/06/30 07:41:50  revo
+adaptis URL de Monato
+
 Revision 1.64  2019/04/22 10:10:16  revo
 Warut Bunprasert: +trd th
 
@@ -843,11 +855,5 @@ Revision 1.60  2015/07/04 08:37:34  revo
 aldono de trd cs per skripto de M. von Laer
 
 Revision 1.59  2015/06/29 16:29:38  revo
-aldono de trd sk per skripto de M. von Laer
-
-Revision 1.58  2015/04/13 20:10:18  revo
-Carlos Garcia: +trd es ~o ~igxi ~ita cxirkaux~i en~i mal~i mal~igxi
-jxet~i
-
 -->
 </vortaro>