Symbol for contraction / interior product?

MnSymbol package has \invneg symbol, which is most likely what you're looking for. Hope this helps.

\documentclass{article}
\usepackage{mnsymbol}

\begin{document}
\[\invneg\]
\end{document}

Load the package MnSymbol in the preamble at the top of your tex file:

\usepackage{MnSymbol}

then in your body you can use:

\righthalfcup

See http://ctan.sharelatex.com/tex-archive/info/symbols/comprehensive/symbols-a4.pdf for more