14

I would like to know how to type the symbol of Kulkarni-Nomizu product in LaTeX:

Kulkarni-Nomizu product

I tried to use Detexify, but it does not give me anything.

Troy
  • 13,741
Paul
  • 1,407

2 Answers2

10

You can combine \bigcirc with \wedge.

Of course, you can also create and use a new command. The result is, obviously, the same with or without the new command.

Edit:

However, with \mspace the symbol becomes misaligned when used in \scriptstyle or - worse - in \scriptscriptstyle.

\documentclass{article}
\usepackage{amsmath, amssymb}

% Of course, you can create...
\newcommand{\KN}{\mathbin{\bigcirc\mspace{-15mu}\wedge\mspace{3mu}}}

\begin{document}
\[
h \mathbin{\bigcirc\mspace{-15mu}\wedge\mspace{3mu}} k
\]
% ... and use a new command:
\[
h \KN k
\]
\[
x_{h \KN k}
\]
\[
y_{x_{h \KN k}}
\]
\end{document}

See the output:

enter image description here

CarLaTeX
  • 62,716
  • 2
    It should be \mathbin. – egreg Mar 16 '17 at 07:18
  • @egreg Corrected, I've also added a little space at the end, otherwise the k was too close to the symbol! – CarLaTeX Mar 16 '17 at 07:27
  • 2
    Yes: my measurement says that \wedge is 12mu wide, so if you back up by 15mu, you have to compensate with 3mu, which is what \, does in math mode; however, I'd use explicitly \mspace{3mu} for consistency. – egreg Mar 16 '17 at 07:56
  • @EnricoMariaDeAngelis Thank you for editing! – CarLaTeX Mar 16 '17 at 08:46
10

A solution with \ooalign.

\documentclass{article}

\makeatletter
\newcommand*\owedge{\mathpalette\@owedge\relax}
\newcommand*\@owedge[1]{%
  \mathbin{%
    \ooalign{%
      $#1\m@th\bigcirc$\cr
      \hidewidth$#1\m@th\wedge$\hidewidth\cr
    }%
  }%
}
\makeatother

\begin{document}

$h \owedge k_{h \owedge k_{h \owedge k}}$

\end{document}

enter image description here

Henri Menke
  • 109,596
  • Thanks, Henri. But I can only accept one answer. – Paul Mar 16 '17 at 10:01
  • @Paul It's better if you accept Henri's solution, my symbol messes up when used in \scriptstyle or - worse - in \scriptscriptstyle. See the edited version of my answer. – CarLaTeX Mar 24 '17 at 06:08