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.
Best Answer
This shape is simple enough to build with rules:
There is also
\niv
in the nath fonts.