Hi everyone, Next week we'll be holding our next tensor typing meeting. WHEN? Monday 3rd August, 9:30am SF time. GCal link: https://calendar.google.com/event?action=TEMPLATE&tmeid=NzY5cXM1am5uNDNkMW1lMnUybnBucnY1dWwgY19sam1ta2E2M3Bwb2FhZWpoNWJzdnR1a2ZlNEBn&tmsrc=c_ljmmka63ppoaaejh5bsvtukfe4%40group.calendar.google.com WHERE? Google Meet. We'll post the link on the day itself. WHAT? 1. Status updates. What have folks been working on over the past month? 2. What should symbols mean? Jörg and I would like to make a second attempt at making the case that symbols should by default refer to semantic axis types (e.g. `Batch` => a batch-like axis) rather than actual shapes (`Batch` => a concrete value of '32'). We'll have a short presentation and then we'll open it up for discussion. 3. Other. Is there anything else folks would like to talk about? Cheers! Matthew