# A special mathematical symbol (supremum of directed set)

I am trying to find a certain mathemtical symbol. It is a \bigvee with an arrowhead as in this picture:

Some authors use this as symbol in domain theory. It denotes the supremum of a set and furthermore states that the set is directed.
I did not find it in the The Comprehensive LaTeX Symbol List.

-
I tried shapecatcher (shapecatcher.com, found from tex.stackexchange.com/questions/36199/unicode-character-look-up) with no luck, so it doesn't seem to be a known unicode character. You might have to build it by hand. Someone on this site can probably help with that. –  Ethan Bolker May 28 '12 at 15:33
Is there any source that we can see what you mean? It might be a composite character like this $A\raisebox{.12ex}{$\backslash$}\kern-.98ex\nearrow B$ –  percusse May 28 '12 at 15:40
I have seen this only on the blackboard, so I have no source. One attempt to define the symbol is made in euclid.ucc.ie/pages/staff/pawel/domains1.tex in line 33 (and 115 for its definition). I add a better description in the question. –  bitt.j May 28 '12 at 15:46
@percusse Your ad-hoc solutios is quite good. But I would prefer a more symetric symbol. –  bitt.j May 28 '12 at 15:56
@EthanBolker -- this isn't a unicode character, but if a citation (published by a "recognized" publisher) can be found i will cheerfully submit it to the unicode technical committee for consideration. please see my profile for contact information. –  barbara beeton May 28 '12 at 18:42
show 1 more comment

There are two ways to go (actually three, if you include drawing your symbol with tikz, against which you will find several advocates on this site ;)):

\documentclass[10pt,a4paper]{article}
\usepackage{stmaryrd}
\usepackage{graphicx}

\begin{document}
$A~\setminus\kern-.95ex\nnearrow B$ %This needs the stmaryrd package for the \nnearrow symbol

$\bigvee{}\kern-1.5ex\rotatebox{-30}{$\large\mathbf{\hat{\vphantom{a}}}$}$ %\rotatebox requires the graphicx package
\end{document}


Adjust rotation and kerning as you you wish. :)

-

Probably not as good as the answer already accepted, but possibly useful when rotated a quarter of a circle:

Lightning: ☇ Unicode hexadecimal: 0x2607 In block: Miscellaneous Symbols

See Is there a readymade symbol for a 90 degrees rotated \Bowtie? for rotation code.

-
\newcommand{\dirsup}{\mathrel{\setlength{\unitlength}{.7em}\raisebox{-.2em}%