search

UniMath / SymmetryBook

This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
Creative Commons Attribution Share Alike 4.0 International
371 stars 22 forks source link

Changing all xymatrix diagrams to tikzcd #169

Open favonia opened 1 year ago

favonia commented 1 year ago

I learned from @UlrikBuchholtz that this is something people want to do.

DanGrayson commented 1 year ago

Is there some advantage to be had from doing so?

favonia commented 1 year ago

@DanGrayson Can't speak for @UlrikBuchholtz, but I believe the xy package can produce ugly long arrows and for subtle fine-tuning it's much easier to just use the more powerful tikz.

favonia commented 1 year ago

@UlrikBuchholtz Is your plan to use tikz-cd or directly tikz? Personally the matrix mode of tikz is good enough for me, but maybe you have other things in your mind. My first cut will probably not be perfectly aligned, either.