伴随函子的更长 \dashv 符号

Question

我正在尝试写出两个函子之间的伴随符号

但我唯一找到的是命令 \dashv

为了产生第一张图片的标志，正确的命令是什么？

Answer 1

像这样吗？

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

\newcommand\longdashv{\mathrel{\relbar\mkern-4mu\relbar\mkern-9mu \vcenter{\hbox{$\dashv$}}}}

\begin{document}

\[ mj_{!} \longdashv (-)\Bigr|_{U}
 \]%

\end{document}