3 ms·That sounds like a different symbol: ≶ U+2276 There are lots of similar symbols: ≶≷≸≹⋚⋛⪋⪌⪏⪐⪑⪒⪓⪔by mkl 5y agoThat sounds like a different symbol: ≶ U+2276 There are lots of similar symbols: ≶≷≸≹⋚⋛⪋⪌⪏⪐⪑⪒⪓⪔