On Sat, 21 Sep 2013, Marco Patzer wrote: > On 2013–09–21 Xan wrote: > >> \diameter really is U+2300 I think. > > Diameter is U+2300, indeed. And that's exactly what I wrote in my > previous mail ⌀ or \varnothing. Hans, could you add the following to char-def.lua [0x2300]={ category="so", description="DIAMETER SIGN", direction="on", linebreak="al", mathspec={ { class="ord", name="varnothing" }, { class="ord", name="diameter" }, }, unicodeslot=0x2300, }, Aditya