Señal de restricción de medida

Question

Necesito usar una notación para restringir una medida a un conjunto. Es similar a \mu \llcorner A, pero quiero que el símbolo definido por \llcornersea más grande. Parece que no puedo encontrar el comando correcto para esto.

El resultado que quiero es algo parecido al símbolo de las imágenes. La segunda foto es de Evans y Gariepy. La tercera es de la Teoría de la Medida Geométrica de Federer, por lo que no creo que sean simplemente notaciones aisladas.

Answer 1

Esta forma es lo suficientemente simple como para construirla con reglas:

\documentclass{article}

\newcommand{\mres}{\mathbin{\vrule height 1.6ex depth 0pt width
0.13ex\vrule height 0.13ex depth 0pt width 1.3ex}}

\begin{document}

\( \mu \mres B(A) \)

\end{document}

También lo hay \niven las fuentes nath.

Answer 2

Puedes construir la notación de Evans y Gariepy con

\documentclass{article}

\usepackage{graphicx}

\newcommand{\measurerestr}{%
  \,\raisebox{-.127ex}{\reflectbox{\rotatebox[origin=br]{-90}{$\lnot$}}}\,%
}

\begin{document}
$\mu\measurerestr A,$
\end{document}

Con el modo imagen podremos elegir entre los tres estilos. Proporcioné \mresA, \mresBy \mresC, pero debes elegir uno y seguir con él. Ajuste los parámetros a su gusto.

\documentclass{article}
\usepackage{amsmath}
\usepackage{pict2e}

% syntactic sugar
\newcommand{\xmathpalette}[2]{%
  \mathchoice
    {#1\displaystyle\textfont{#2}}
    {#1\textstyle\textfont{#2}}
    {#1\scriptstyle\scriptfont{#2}}
    {#1\scriptscriptstyle\scriptscriptfont{#2}}
}

\makeatletter

\newcommand{\mres@thickness}[1]{\dimexpr1.5\fontdimen8 #13\relax}

\newcommand{\mresA}{\mspace{3mu}{\xmathpalette\mresA@\relax}\mspace{3mu}}
\newcommand{\mresA@}[3]{%
  \begingroup
  \setlength\unitlength{%
    \dimexpr\fontcharht#21`A-0.5\mres@thickness{#2}% height of capital letters
  }%
  \raisebox{0.5\dimexpr\mres@thickness{#2}}{%
    \begin{picture}(1,1)
      \roundcap\roundjoin
      \linethickness{\mres@thickness{#2}}% default rule thickness in the extension font
      \polyline(0,1)(0,0)(1,0)
    \end{picture}%
   }%
  \endgroup
}

\newcommand{\mresB}{\mspace{5mu}{\xmathpalette\mresB@\relax}\mspace{5mu}}
\newcommand{\mresB@}[3]{%
  \begingroup
  \setlength\unitlength{%
    \dimexpr0.8\fontcharht#21`A-0.5\mres@thickness{#2}% 80% height of capital letters
  }%
  \raisebox{0.5\dimexpr\mres@thickness{#2}}{%
    \begin{picture}(0.5,1)
      \roundcap\roundjoin
      \linethickness{\mres@thickness{#2}}% default rule thickness in the extension font
      \polyline(0,1)(0,0)(0.5,0)
    \end{picture}%
   }%
  \endgroup
}

\newcommand{\mresC}{\mspace{3mu}{\xmathpalette\mresC@\relax}\mspace{3mu}}
\newcommand{\mresC@}[3]{%
  \begingroup
  \setlength\unitlength{%
    \dimexpr0.8\fontcharht#21`A-0.5\mres@thickness{#2}% 80% height of capital letters
  }%
  \raisebox{0.5\dimexpr\mres@thickness{#2}}{%
    \begin{picture}(1,1)
      \roundcap\roundjoin
      \linethickness{\mres@thickness{#2}}% default rule thickness in the extension font
      \polyline(0,1)(0,0)(1,0)
    \end{picture}%
   }%
  \endgroup
}
\makeatother

\begin{document}

$\mu \mresA B(A)=\mu(B\cap A)$

$\scriptstyle \mu \mresA B(A)=\mu(B\cap A)$

$\mu \mresB B(A)=\mu(B\cap A)$

$\scriptstyle \mu \mresB B(A)=\mu(B\cap A)$

$\mu \mresC B(A)=\mu(B\cap A)$

$\scriptstyle \mu \mresC B(A)=\mu(B\cap A)$

\end{document}

Answer 3

El resmespaquete proporciona la notación de Federer para la restricción de una medida:

\usepackage{resmes}

...

$\mu\resmes E$.

Funciona también en subíndices y superíndices:

$E_{\mu\resmes A}^{\eta\resmes B}$

El paquete aún está en desarrollo pero ya se puede utilizar. Si desea informar un error o agregar una nueva característica, puede visitar elpagina oficial del paquete resmes.