diff --git a/revo/konhxo.xml b/revo/konhxo.xml
index 2c8a72ba929..1fe89f42803 100644
--- a/revo/konhxo.xml
+++ b/revo/konhxo.xml
@@ -11,21 +11,23 @@
MAT
- (de ebena [kurbo] K, rilate al
- punkto O)
+ (de ebena [kurbo] K,
+ rilate al punkto O)
Ebena [kurbo], konsistanta el ĉiuj
- tiaj punktoj M, ke la distanco MN egalas al iu konstanto, kie N
- estas la intersekcopunkto de la rekto OM kaj de la kurbo K:
+ tiaj punktoj M, ke la distanco MN egalas al
+ iu konstanto, kie N estas la intersekcopunkto
+ de la rekto OM kaj de la kurbo K:
[paskala limako] estas
o de cirklo rilate al punkto de ĝi:
la kartezia ekvacio de o de rekto estas de
- la tipo ρ=(a/cosθ)+b.
+ la tipo ρ = (a/cosθ)+b.
Konchoide von Nikomedes
conchoid of Nicomedes
conchoïde de Nicomède
+ konchoida Nikomedesa
&c_k;&c_o;&c_n;&c_h;&c_o;&c_i;&c_d;&c_a; &c_p;&c_r;&c_ja;&c_m;&c_o;&c_j;
@@ -41,14 +43,16 @@
Konchoide
conchoid
conchoïde
+ konchoida
&c_k;&c_o;&c_n;&c_h;&c_o;&c_i;&c_d;&c_a;
diff --git a/revo/konjun.xml b/revo/konjun.xml
index 70a27157db7..8060d5b1d58 100644
--- a/revo/konjun.xml
+++ b/revo/konjun.xml
@@ -32,8 +32,8 @@
asocias la propozicion, kiu estas vera, se kaj nur se
ambaŭ estas veraj; rezulto de tiu operacio:
- la on de P kaj Q oni foje signas per P∧Q
- (legu: P kaj Q).
+ la on de P kaj Q oni foje signas per
+ P∧Q (legu: P kaj Q).
@@ -43,6 +43,9 @@
conjonction (produit logique),
produit logique
+
+ koniunkcja,
+ iloczyn logiczny
&c_k;&c_o;&c_n;&c_malmol;&c_ju;&c_n;&c_k;&c_c;&c_i;&c_ja;,
&c_l;&c_o;&c_g;&c_i;&c_ch;&c_je;&c_s;&c_k;&c_o;&c_je; &c_u;&c_m;&c_n;&c_o;&c_zh;&c_je;&c_n;&c_i;&c_je;
@@ -90,20 +93,17 @@
diff --git a/revo/kontin3.xml b/revo/kontin3.xml
index 92a26c8d2b6..034bf7bb43c 100644
--- a/revo/kontin3.xml
+++ b/revo/kontin3.xml
@@ -56,36 +56,42 @@
EKV¶223
- (p.p. [bildigo] f de
- [topologia spaco] E al
- topologia spaco F, ĉe punkto a∈E)
+ (p.p. [bildigo] f
+ de [topologia spaco] E
+ al topologia spaco F, i
+ ĉe punkto a∈E)
Tia, ke ĉiu ajn
[ĉirkaŭaĵo]
- de f(a) inkluzivas la bildon per f de iu
- ĉirkaŭaĵo de a.
+ de f(a) inkluzivas la bildon
+ per f de iu ĉirkaŭaĵo
+ de a.
- En malpli faka lingvaĵo : f(x) senlime proksimiĝas al
- f(a), kiam x senlime proksimiĝas al a.
+ En malpli faka lingvaĵo: f(x)
+ senlime proksimiĝas al f(a),
+ kiam x senlime proksimiĝas al
+ a.
MatTermp. 20
- (p.p. [bildigo] f de
- [topologia spaco] E al
- topologia spaco F)
+ (p.p. [bildigo]
+ f de
+ [topologia spaco]
+ E al topologia spaco F)
Tia, ke ĝi estas
[a ]
- ĉe ĉiuj punktoj de E:
+ ĉe ĉiuj punktoj de E:
- f estas a, se kaj nur se la inversa bildo de ĉiu ajn
+ f estas a, se kaj nur se la inversa bildo
+ de ĉiu ajn
[malfermita subaro] de
- F estas malfermita subaro de E;
+ F estas malfermita subaro de E;
- la idento-bildigo de E al si mem (kun la sama topologio)
- estas a;
+ la idento-bildigo de E al si mem (kun la sama
+ topologio) estas a;
la kunligaĵo de du aj bildigoj estas mem a;
@@ -101,6 +107,7 @@
stetig
continuous
+ ci&aogonek;g&lstroke;y
continu
@@ -163,14 +170,16 @@
EKV¶225
- (p.p. [bildigo] f de
- [metrika spaco] E al
- metrika spaco F)
- Tia, ke por ĉiu pozitiva reelo ε ekzistas tia
- reelo &alfa;, ke se la distanco inter ajnaj punktoj x kaj y
- en E estas pli
- malgranda ol &alfa;, tiam la distanco inter la bildoj de x kaj y
- per f estas pli malgranda ol ε:
+ (p.p. [bildigo]
+ f de
+ [metrika spaco] E
+ al metrika spaco F)
+ Tia, ke por ĉiu pozitiva reelo ε ekzistas tia
+ reelo &alfa;, ke se la distanco inter ajnaj punktoj
+ x kaj y en E estas
+ pli malgranda ol &alfa;, tiam la distanco inter la bildoj de
+ x kaj y per f
+ estas pli malgranda ol ε:
ĉiu ega bildigo estas ankaŭ
[a ], sed la malo
@@ -181,6 +190,7 @@
gleichmäßig stetig
uniformly continous
uniformément continu
+ jednostatnie ci&aogonek;g&lstroke;y
&c_r;&c_a;&c_v;&c_n;&c_o;&c_m;&c_je;&c_r;&c_n;&c_o; &c_n;&c_je;&c_p;&c_r;&c_je;&c_r;&c_y;&c_v;&c_n;&c_y;&c_j;
@@ -204,6 +214,8 @@