Seta da catraca no tikz-cd

Question

Eu quero produzir uma "catraca", ou seja \vdash, uma seta de estilo no tikz-cd.

Posso fazer isso com opção, [maps to, no head]mas a barra vertical parece muito curta:

\documentclass{article}
\usepackage{tikz-cd}
\tikzcdset{arrow style=tikz}
\usepackage{tikz}

\begin{document}
\begin{equation}
  \begin{tikzcd}
    A \arrow[r, maps to, no head, "F"] & B
  \end{tikzcd}
\end{equation}
\end{document}

Qual é a maneira mais simples de adicionar uma barra vertical mais longa à cauda?

Answer 1

Você estava bem perto, mudei maps topara tail, não uma grande diferença no resultado, mas no meu caso você está apenas dizendo "Eu quero a cauda" em vez de "Eu quero esta flecha". Estaremos mantendo o no head.

A principal mudança, ou melhor, adição, que fiz foi adicionar um estilo tikzcdset.

Resultado

Código

\documentclass[margin=10pt]{standalone}
\usepackage{tikz-cd} % no need to load tikz, since tikz-cd already loads it

% \usetikzlibrary{arrows.meta} % you can uncomment this if you want more arrow types

\tikzcdset{
    arrow style=tikz,
    diagrams={>={|[scale=2]}}
}

\begin{document}
  \begin{tikzcd}
    A \arrow[r, tail, no head,"F"] & B
  \end{tikzcd}
\end{document}

Answer 2

Encontrei uma solução mais simples, combinando ideias a partir desta resposta :

\begin{tikzcd}[| /.tip = {Bar[scale=2]}]
A  \arrow[r, |-]  B
\end{tikzcd}

Além disso, a primeira resposta tem o problema de alterar todos os diagramas do documento, mas este afeta apenas o diagrama atual.