Symbol: _cyclic_le