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