测量限制标志

Question

我需要使用符号来将度量限制为集合。它类似于\mu \llcorner A，但我希望由 定义的符号\llcorner更大。我似乎找不到合适的命令。

我想要的结果是类似于图片中的符号。第二张图片来自 Evans 和 Gariepy。第三张来自 Federer 的几何测度理论，所以我不认为它们只是孤立的符号。

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}

\nivnath 字体中也有。

Answer 2

您可以使用以下方式构建 Evans 和 Gariepy 符号

\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包提供了 Federer 对措施限制的符号：

\usepackage{resmes}

...

$\mu\resmes E$.

它也适用于下标和上标：

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

该软件包仍在开发中，但现在可以使用。如果您想报告错误或添加新功能，可以访问resmes 包的官方页面。