Digraph f { 
 
 	node [lblstyle="font=\huge"]
 	subgraph G1 {
 		rankdir="TB"
 		rotation = 10
 		subgraph G11{
 			node [ style="invisible", label="" shape=none ]
 			rankdir="LR";
 			rank="same";
 			a1 
 			a2
 		}
 		
 		lbla [
 			label = "(S C E* G )", shape=none
 			texlbl="$S \in (E^* \otimes G)$"]
 
 		{
 		rank=same	
 		a [ label="" style=filled fillcolor="#0099ff" ]
 		ab [label = ".", shape=none 
 			texlbl="$ \odot $", lblstyle="font=\Huge"]
 		}
 		a1->a [ color="#800000" arrowtail=crow dir=back ] 
 		a->a2 [ arrowhead="veevee" color="#008000"];
 		
 		a-> lbla [style = "invisible" arrowhead = none ]
 		
 		};
 
 	
 	
 	
 
 	subgraph G2 {
 		rankdir="TB"
 		
 		subgraph G21{
 			rankdir="LR";
 			rank="same";
 			node [style="invisible", label="" shape = none]
 			b1 
 			b2 
 			b3 
 		}
 		{ rank = same			
 			b [ label="",  style=filled fillcolor="#0047ff" ]
 			bc [ label = "=", texlbl="$=$" lblstyle="font=\Huge" shape=none]
 		}
 		lblb [
 			label = "(TinG*E*F )", shape=none
 			texlbl="$T \in (G^* \otimes E^* \otimes F)$"]
 		
 		b-> lblb [style = "invisible" arrowhead = none ]
 		b1->b [ arrowtail="crow" dir=back color="#800000"] ;
 		b2->b [ arrowtail="crowcrow" dir=back color="#008000"];
 		b->b3 [ color="#808000"];
 	};
 
 	subgraph G3 {
 		rankdir="TB"
 		
 		subgraph G31{
 			rankdir="LR";
 			rank="same";
 			node [ style="invisible" label="" shape=none]
 			c1 
 			c3 
 			c4 
 		}
 		subgraph c {
 			rank = same
 			
 			ca [ label="", style=filled fillcolor="#0099ff" ]
 			c2 [ style="invisible", shape=point]
 			cb [ label="", style=filled fillcolor="#0047ff"]
 			cd [ label = "=", texlbl="$=$" , lblstyle="font=\Huge" shape=none]
 		}
 
 			c1->ca [ arrowtail="crow" dir=back color="#800000"] ;
 			ca->c2 [ arrowhead="veevee" color="#008000"];
 			c2->cb [ arrowtail="crowcrow" dir=back color="#008000"];
 			c4->cb [ arrowtail="crow" dir=back color="#800000"] ;
 			cb->c3 [ color="#808000"];
 	};
 	subgraph G4 {
 
 		rankdir="TB"
 		
 		subgraph G41{
 			rankdir="LR";
 			rank="same";
 			node  [ style="invisible" label="" shape=none ]
 			d1
 			d2 
 			d3 
 		}
 		{
 		rank = same
 		
 		da [ label="", style =filled, fillcolor="#0099ff" ]
 		}
 
 		
 		lbld [
 			label = "S.D in ", shape=none
 			texlbl="$S\odot D \in (E^* \otimes E^* \otimes F)$"]
 		
 		da -> lbld [style = "invisible" arrowhead=none]
 		
 		d1->da [arrowtail="crow" dir=back color="#800000"] 
 		d2->da [arrowtail=crow dir=back color="#800000"] 
 		da->d3 [color="#808000"];
 	};
 		
 }