fix example format

semigroups · Aug 7, 2024 · 7f989c0 · 7f989c0
1 parent 2b441e0
commit 7f989c0
Showing 1 changed file with 14 additions and 14 deletions.
diff --git a/doc/attr.xml b/doc/attr.xml
@@ -1215,20 +1215,20 @@ gap> GeneratorsSmallest(T);
     element has no inverse in <A>S</A>.
     <A>x</A> in the semigroup <A>S</A>.
   <Example><![CDATA[
-  S := FullTransformationMonoid(4);
-  <full transformation monoid of degree 4>
-  gap> s := Transformation([2, 3, 1, 1]);
-  Transformation( [ 2, 3, 1, 1 ] )
-  gap> OneInverseOfSemigroupElement(S, s);
-  Transformation( [ 3, 1, 2, 2 ] )
-  gap> e := IdentityTransformation;
-  IdentityTransformation
-  gap> OneInverseOfSemigroupElement(S, e);
-  IdentityTransformation
-  gap> F := FreeSemigroup(1);
-  <free semigroup on the generators [ s1 ]>
-  gap> OneInverseOfSemigroupElement(F, F.1);
-  Error, the semigroup is not finite]]></Example>
+gap> S := FullTransformationMonoid(4);
+<full transformation monoid of degree 4>
+gap> s := Transformation([2, 3, 1, 1]);
+Transformation( [ 2, 3, 1, 1 ] )
+gap> OneInverseOfSemigroupElement(S, s);
+Transformation( [ 3, 1, 2, 2 ] )
+gap> e := IdentityTransformation;
+IdentityTransformation
+gap> OneInverseOfSemigroupElement(S, e);
+IdentityTransformation
+gap> F := FreeSemigroup(1);
+<free semigroup on the generators [ s1 ]>
+gap> OneInverseOfSemigroupElement(F, F.1);
+Error, the semigroup is not finite]]></Example>
   </Description>
 </ManSection>
 <#/GAPDoc>