⌊∈⌋