Знак ограничения меры

Question

Мне нужно использовать нотацию для ограничения меры на множество. Она похожа на \mu \llcorner A, но я хочу, чтобы символ, определяемый с помощью, \llcornerбыл больше. Я не могу найти правильную команду для этого.

Результат, который я хочу получить, — это что-то вроде символа на картинках. Вторая картинка — из Эванса и Гариепи. Третья — из Геометрической теории меры Федерера, так что я не думаю, что это просто изолированные обозначения.

Answer 1

Эту форму достаточно просто построить с помощью правил:

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

Также есть \nivв шрифтах nath.

Answer 2

Вы можете построить нотацию Эванса и Гариепи с помощью

\documentclass{article}

\usepackage{graphicx}

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

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

В режиме изображения мы можем выбирать между тремя стилями. Я указал \mresA, \mresBи \mresC, но вам следует выбрать один и придерживаться его. Настройте параметры в свободное время.

\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

В resmesпакете представлена ​​нотация Федерера для ограничения меры:

\usepackage{resmes}

...

$\mu\resmes E$.

Это работает также в нижних и верхних индексах:

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

Пакет все еще находится в стадии разработки, но его можно использовать уже сейчас. Если вы хотите сообщить об ошибке или добавить новую функцию, вы можете посетитьофициальная страница пакета resmes.