Marc Bavant: +frm; ~o: pluaj kor trd en

revo/bar.xml

@@ -110,6 +110,10 @@
     <trdgrp lng="de">
       <trd>Sperre</trd>, <trd>Hindernis</trd>
     </trdgrp>
+    <trdgrp lng="en">
+      <trd>obstruction</trd>,
+      <trd>barrier</trd>
+    </trdgrp>
     <trdgrp lng="fr">
       <trd>obstacle</trd>,
       <trd>barri&egrave;re<klr tip="ind"> (fig.)</klr></trd>
@@ -120,10 +124,11 @@
     <uzo tip="fak">MAT</uzo>
     <fnt><bib>PIV1</bib></fnt>
     <dif>
-      <klr>(de subaro <em>A</em> de
-      <ref cel="ar.orda0o">orda aro</ref> (<em>E</em>, &#x2264;))</klr>
-      Tia elemento b en <em>E</em>, ke por &ccirc;iu x en <em>A</em>
-      validas x&#x2264;b:
+      <klr>(de subaro <frm><g>A</g></frm> de
+      <ref cel="ar.orda0o">orda aro</ref> <frm>(<g>E</g>,&#x2264;)</frm>)</klr>
+      Tia elemento <frm><k>b</k></frm> en <frm><g>E</g></frm>, ke por 
+      &ccirc;iu <frm><k>x</k></frm> en <frm><g>A</g></frm> 
+      veras <frm><k>x</k>&#x2264;<k>b</k></frm>:
       <ekz>
         <ref tip="sub" cel="bar.suba0o">suba <tld/>o</ref>;
       </ekz>
@@ -146,10 +151,6 @@
       <ref cel="minimu.0o">minimumo</ref>.
     </refgrp>
   </snc>
-  <trdgrp lng="en">
-    <trd>obstruction</trd>,
-    <trd>barrier</trd>
-  </trdgrp>
 </drv>
 
 <drv mrk="bar.0ajxo">
@@ -236,21 +237,23 @@
     <fnt><bib>EKV</bib><lok>&para;44</lok></fnt>
     <subsnc mrk="bar.0ita.subaro">
       <dif>
-        <klr>(p.p. subaro <em>A</em> de
+        <klr>(p.p. subaro <frm><g>A</g></frm> de
         <ref cel="ar.orda0o">orda aro</ref>)</klr>
         Tia, ke &gcirc;i akceptas <ref cel="bar.0o.MAT"><tld/>on</ref>:
         <ekz>
           &ccirc;iu <tld/>ita subaro de la aro de naturaj entjeroj akceptas
           maksimumon;
         </ekz>
         <ekz>
-          la aro de &ccirc;iuj reeloj inter 0 kaj 1 estas <tld/>ita.
+          la aro de &ccirc;iuj reeloj inter <frm>0</frm> kaj <frm>1</frm> 
+          estas <tld/>ita.
         </ekz>
       </dif>
       <rim>
         Se la konsiderata ordo-rilato estas
-        <ref cel="tut.0eca.rilato">tuteca</ref> kaj signata per &#x2264;, oni
-        kutime postulas, ke la subaro akceptu kaj superan kaj suban <tld/>ojn.
+        <ref cel="tut.0eca.rilato">tuteca</ref> kaj signata per 
+        <frm>&#x2264;</frm>, oni kutime postulas, ke la subaro akceptu kaj 
+        superan kaj suban <tld/>ojn.
       </rim>
     </subsnc>
     <subsnc mrk="bar.0ita.bildigo">
@@ -369,13 +372,13 @@
   <fnt><bib>PIV1</bib></fnt>
   <snc>
     <dif>
-      <klr>(de subaro <em>A</em> de
-      <ref cel="ar.orda0o">orda aro</ref> (<em>E</em>, &#x2264;))</klr>
+      <klr>(de subaro <frm><g>A</g></frm> de
+      <ref cel="ar.orda0o">orda aro</ref> <frm>(<g>E</g>,&#x2264;)</frm>)</klr>
       <ref tip="super" cel="bar.0o.MAT"><tld lit="B"/>o</ref> de la sama
       aro, provizita per la inversa rilato:
       <ekz>
         la aro de &ccirc;iuj subaj baroj de la reela intervalo
-        [0,1[ estas la aro de strikte negativaj reeloj.
+        <frm>[0,1[</frm> estas la aro de strikte negativaj reeloj.
       </ekz>
     </dif>
     <rim>
@@ -394,8 +397,8 @@
   <fnt><bib>PIV1</bib></fnt>
   <snc>
     <dif>
-      <klr>(de subaro <em>A</em> de
-      <ref cel="ar.orda0o">orda aro</ref> (<em>E</em>, &#x2264;))</klr>
+      <klr>(de subaro <frm><g>A</g></frm> de
+      <ref cel="ar.orda0o">orda aro</ref> <frm>(<g>E</g>,&#x2264;)</frm>)</klr>
       <ref tip="super" cel="bar.0o.MAT"><tld lit="B"/>o</ref> de &gcirc;i:
       <ekz>
         &ccirc;iu pozitiva reelo estas supera <tld/>o de la aro de
@@ -424,6 +427,8 @@
 </art>
 <!--
 $Log$
+Revision 1.29  2002/11/13 17:31:13  revo
+Marc Bavant: ~ita: kor trd en
 Revision 1.28  2002/11/10 11:41:03  revo
 Christopher Zervic: + ang
 Revision 1.27  2002/10/23 20:37:48  revo
@@ -441,7 +446,5 @@ Marc Bavant: snc MAT: +fnt, +trd; ~o MAT: -trd fr, +ref al suba ~o, supera ~o, m
 Revision 1.21 2002/02/14 17:35:53 revo
 Bart Demeyere: +<ofc>*
 Revision 1.20 2002/01/09 20:23:21 revo
-fontindiko PrV per programo de Jerome
-Revision 1.19 2001/09/10 18:14:03 revo
 -->
 </vortaro>