Medir sinal de restrição

Question

Preciso usar uma notação para a restrição de um compasso a um conjunto. É semelhante a \mu \llcorner A, mas quero que o símbolo definido por \llcornerseja maior. Não consigo encontrar o comando certo para isso.

O resultado que desejo é algo parecido com o símbolo das fotos. A segunda foto é de Evans e Gariepy. A terceira vem da Teoria das Medidas Geométricas de Federer, então não acho que sejam apenas notações isoladas.

Answer 1

Esta forma é simples o suficiente para ser construída com regras:

\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}

Também existe \nivnas fontes nath.

Answer 2

Você pode construir a notação de Evans e Gariepy com

\documentclass{article}

\usepackage{graphicx}

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

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

Com o modo imagem podemos escolher entre os três estilos. Eu forneci \mresA, \mresBe \mresC, mas você deve escolher um e segui-lo. Ajuste os parâmetros à vontade.

\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

O resmespacote fornece a notação de Federer para a restrição de uma medida:

\usepackage{resmes}

...

$\mu\resmes E$.

Funciona também em subscritos e sobrescritos:

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

O pacote ainda está em desenvolvimento, mas já pode ser usado. Se você deseja relatar um bug ou adicionar um novo recurso, você pode visitar opágina oficial do pacote resmes.