@DavidCarlisle ooh vim

@PauloCereda Quack

@PauloCereda breakfast

@JosephWright ooh a duck

@DavidCarlisle oh no

@PauloCereda :)

\protected :(

@DavidCarlisle Oh dear

@DavidCarlisle ?

@DavidCarlisle oh texhax list.

@UlrikeFischer texhax list, I allowed one instance of \protected in miniltx before checking for it so it fails in classic tex and needs etex

@UlrikeFischer yep:-)

@DavidCarlisle why do they use tex instead of etex?

@UlrikeFischer Tradition

Meanwhile, anyone following the untraditional cricket scores?

@DavidCarlisle No, it seems we are \protected against cricket here. :|

@mickep the best first day test score ever, apparently

@DavidCarlisle WOW

@DavidCarlisle Cool! I have never had a channel that sends cricket, so I know nothing about it.

@mickep bbc.co.uk/sport/cricket/scorecard/ECKO54786

@DavidCarlisle 506-4!!!!!

@mickep ask @PauloCereda he is the local cricket expert bbc.co.uk/sport/cricket/63819110

@DavidCarlisle And his favorite player is _Duck_ett?

@mickep he carries a cricket bat just in case...

@DavidCarlisle Reading tex.stackexchange.com/q/667165/52406. Is it so that in tikz-cd, the label is from the beginning set in scriptsize, and therefore the c and the 1 there are both in scriptscript size?

It seems so (tex.stackexchange.com/a/254286/52406)

@mickep ah I was answering while doing something else. I'll delete

@DavidCarlisle But you almost wrote that at the beginning, so...

@mickep yes I could fix it, but deleting is easier;-)

@DavidCarlisle I see new answers as well. But isn't this in the end another example where one could question the situation with design sizes? As is, the f in the tikz-cd example is taken from a different design size, isn't it?

@mickep f is cmmi7 c and 1 are cmmi5

@DavidCarlisle Indeed.

@mickep it would probably look better with cmmi10, cmmi7, cmmi5 scaled 80% ie scaled \textstyle rather than \scriptstyle

@DavidCarlisle Yes, that seems like a better idea, indeed.