Update math.uc

Changes =< and => (a PB-accepted syntax) to <= and >=