请参阅以上摘录自 John Lee 的光滑流形简介。在微分拓扑和线性代数中，有一个称为内积或收缩算子的算子，表示为$\iota_X(\omega)$或，或者用其他“半框”表示，例如算子$X_|\omega$。有人知道如何在 LaTeX 中标记该算子吗？
除了这个线索外，谷歌没有找到任何结果：收缩/内部产品的符号？
该线程确实收到了一个可接受的答案，即来自 MnSymbol 包的 \invneg，但那里给出的建议在我看来似乎不正确。或者至少，它与我所熟悉的不符。该答案导致一个倒置的否定符号，而收缩运算符应该在行底处有一个向下的笔划，并且有一个几乎达到行的整个高度的长笔划。它可以在许多文本中找到，但为什么我找不到正确的 LaTeX 标记？
答案1
我偶然发现了维基百科文章中使用的正确标记几何代数。我查看了代码，发现符号由 \lrcorner 给出。 \llcorner 是同样的东西，但是水平翻转了。
答案2
您可以通过以下方式从 MnSymbol 导入符号
\DeclareFontFamily{U}{MnSymbolC}{}
\DeclareSymbolFont{MnSyC}{U}{MnSymbolC}{m}{n}
\DeclareFontShape{U}{MnSymbolC}{m}{n}{
<-6> MnSymbolC5
<6-7> MnSymbolC6
<7-8> MnSymbolC7
<8-9> MnSymbolC8
<9-10> MnSymbolC9
<10-12> MnSymbolC10
<12-> MnSymbolC12}{}
\DeclareMathSymbol{\intprod}{\mathbin}{MnSyC}{'270}
这样，您就不会用 MnSymbol 覆盖您的数学字体。
反转\lnot符号的另一种方法是
\usepackage{graphicx}
\newcommand{\intprod}{\mathbin{\raisebox{\depth}{\scalebox{1}[-1]{$\lnot$}}}}
如果还需要其他尺寸的符号，那么
\newcommand{\intprod}{\mathbin{\mathpalette\dointprod\relax}}
\newcommand{\dointprod}[2]{%
\raisebox{\depth}{\scalebox{1}[-1]{$#1\lnot$}}}
以下是两种方式的输出图片。
答案3
受到@egreg 和@alex-eftimiades 的回答的启发，我的解决方案是将\lrcorner符号定义为数学二元运算符，即
\newcommand{\iprod}{\mathbin{\lrcorner}}
因此，
\begin{equation*}
\begin{split}
X \iprod (\omega_1 \we \omega_2) & = (X \iprod \omega_1) \we \omega_2 + (-1)^r \omega_1 \we (X \iprod \omega_2)
\\
X(\omega) & = X \iprod \de{\omega} + \de{(X \iprod \omega)}
\\
X(Y \iprod \omega) & = [X,Y] \iprod \omega + Y \iprod X(\omega)
\end{split}
\end{equation*}
产量
