Turnstile arrow in tikz-cd
You were quite close, I changed maps to
to tail
, not a huge difference in the result, but in my case you're just saying "I want the tail" rather than "I want this arrow". We will be keeping the no head
.
The major change, or rather addition, I did was to add a style to tikzcdset
.
Output
Code
\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}