Template
>=(T1,T2)-(i,i)
Description:
T1 more or equal to T2
Copyright © 1997-2003 EDMGROUP (Australia)