⋟

Symbol

 * 1) is equal to or succeeds