inf

Symbol

 * 1)  infimum operator