I need to use a notation for the restriction of a measure to a set. It is similar to
\mu \llcorner A, but I want the symbol defined by
\llcorner to be bigger. I can't seem to find the right command for this.
The result I want is something like the symbol in the pictures. The second picture is from Evans and Gariepy. The third one is from Federer's Geometric Measure Theory, so I don't think they are just isolated notations.