...

diff --git a/helm/software/matita/nlibrary/topology/igft.ma b/helm/software/matita/nlibrary/topology/igft.ma
index e6caecc6360e01dd232b3cf54328562abcf75f93..a38e2eec7ddfd6ebc16ccdbdea0409be46433ff9 100644 (file)
--- a/helm/software/matita/nlibrary/topology/igft.ma
+++ b/helm/software/matita/nlibrary/topology/igft.ma
@@ -122,11 +122,11 @@ are part of the standard library of Matita.
 
 These notions come with some standard notation attached to them:
 
-- A ∪ B `A \cup B`
-- A ∩ B `A \cap B` 
-- A ≬ B `A \between B`
-- x ∈ A `x \in A` 
-- Ω^A, that is the type of the subsets of A, `\Omega ^ A` 
+- A ∪ B can be typed with `A \cup B`
+- A ∩ B can be typed with `A \cap B` 
+- A ≬ B can be typed with `A \between B`
+- x ∈ A can be typed with `x \in A` 
+- Ω^A, that is the type of the subsets of A, can be typed with `\Omega ^ A` 
 
 The `include` command tells Matita to load a part of the library, 
 in particular the part that we will use can be loaded as follows: