Inclusion math symbol. The symbol bxcmeans the largest integer x.