Re: [NTG-context] bug: \bot and \top in markiv

On Thu, 20 Nov 2008, Chen Shen wrote:

Hi,

A small problem: the definition of \bot and \top in math mode should be interchanged. Thanks.

Thanks for reporting this. Hans, in math-ini.lua the unicode slots for top and bot are interchanged (char-ini.lua is correct). top is 0x22A5 (Unicode DOWN TACK) and bot is 0x22A4 (Unicode TOP TACK). Who came up with these unicode names. Chen, if you want an immediate solution, replace math-ini.lua with the attached file and regenerate formats. Aditya