21 Sep
2013
21 Sep
'13
4:43 p.m.
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