The symbol I'm looking for can have several names, I want to use for "contraction" (of a measure and a set).
It should look like the lower left half of \square, that is, like \llcorner but bigger. I've found different packages containing the symbol, but none of them seems to be compatible with amssymb.
Does anybody know where to find such a symbol? Thanks