☰

一个特殊的数学符号（有向集的上确界）

tag-icon • tag-icon symbols
一个特殊的数学符号（有向集的上确界）

我正在尝试寻找某个数学符号。它是\bigvee带有箭头的，如下图所示： 有向上确界

一些作者将其用作域理论中的符号。它表示集合的上确界，并且进一步表明该集合是有向的。
我在综合 LaTeX 符号列表中没有找到它。

答案1

有两种方法可以实现（实际上有三种，如果你包括用 绘制你的符号tikz，你会在这个网站上找到几位反对它的人;)）：

\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}

在此处输入图片描述

根据需要调整旋转和字距。:)

答案2

这是我在网上找到的一个非常好的解决方案，我不记得在哪里了；我希望我能正确地归属它。

\newcommand{\dirsup}{\mathrel{\setlength{\unitlength}{.7em}\raisebox{-.2em}%
    {\begin{picture}(1,1.5)\put(.5,0){\line(-1,3){.48}}
    \put(.5,0){\vector(1,3){.5}}\end{picture}}}} % directed sup

您可以在以下位置并排看到符号http://www.cs.mcgill.ca/~prakash/dirsup_comparison.pdf：

在此处输入图片描述

答案3

可能不如已经接受的答案那么好，但旋转四分之一圈时可能会有用：

闪电：☇ Unicode 十六进制：0x2607 在区块中：杂项符号

看 是否有表示 90 度旋转的领结的现成符号？ 用于旋转代码。

答案4

由于@CountZero 建议这样做:-)，这里有一个TikZ显示一些选项的版本：

在此处输入图片描述

代码：

\documentclass{article}
\usepackage{amsmath}
\usepackage{tikz}
\newcommand{\SupermumDirected}[1][]{%
    \mathbin{\tikz [x=1.4ex,y=1.6ex,line width=.15ex,baseline] 
        \draw [->,#1] (0,1) -- (0.5,0) -- (1,1.25);
    }%
}

\begin{document}
    $A \SupermumDirected B \SupermumDirected[red,-stealth] C \SupermumDirected[blue,-latex] D$
\end{document}

相关内容