fix TikZ-cd mapsto

UniMath · Mar 27, 2020 · 1a91785 · 1a91785
1 parent ac0e2d9
commit 1a91785
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/tikzsetup.tex b/tikzsetup.tex
@@ -29,7 +29,7 @@
   }
 }
 \pgfdeclarearrow{
-  name = mdbchbar,
+  name = pxbar,
   setup code = {
     \pgfarrowssettipend{0.5\pgflinewidth}
     \pgfarrowssetbackend{-0.5\pgflinewidth}
@@ -79,7 +79,8 @@
 \tikzset{>=pxto}
 \tikzset{every picture/.style={line width=0.59pt}}
 \tikzcdset{arrow style=tikz,%
-  invisible/.style={/tikz/draw=none}}
+  invisible/.style={/tikz/draw=none},%
+  mapsto/.style={pxbar-pxto}}
 
 \tikzcdset{
   equal/.add code={\PackageError{cas}{Please don't use the TikZ-cd equal style}{}}{},