:: deftheorem defines <^ ALTCAT_1:def 1 :
for G being AltGraph
for o1, o2 being Object of G holds <^o1,o2^> = the Arrows of G . (o1,o2);