From 7f989c0e5ad6062f31de18a75196160857ff1bdc Mon Sep 17 00:00:00 2001
From: Tianrun Yang <yangtianrun1208@gmail.com>
Date: Wed, 7 Aug 2024 16:37:30 +0100
Subject: [PATCH] fix example format

---
 doc/attr.xml | 28 ++++++++++++++--------------
 1 file changed, 14 insertions(+), 14 deletions(-)

diff --git a/doc/attr.xml b/doc/attr.xml
index d26b144ef..78d02c5dd 100644
--- 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>