ess inf

Symbol

 * 1)  essential infimum