⋞

Symbol

 * 1) is equal to or precedes