longer dashv sign for adjoint functors

Question

I am trying to write the adjoint sign between two functors
 But the only thing i found is the command dashv

What is the right command in order to produce the first picture's sign?

Bernard · Accepted Answer

Something like this?
documentclass{article}
usepackage{amsmath, amssymb}

newcommandlongdashv{mathrel{relbarmkern-4murelbarmkern-9mu vcenter{hbox{$dashv$}}}}

begin{document}

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

end{document}

One Answer