> I still don't really know what my favoured notation for differential geometry is, I find myself switching around so much.

Yep, me too. Maybe someday the HoTT folks will get around to formalizing it and standardizing the notation. /j