[texhax] Minor bugs in the newest "Comprehensive LaTeX symbols list"

[Scott Pakin]

Victor, Uwe, and Donald,

On 11/11/2015 10:15 AM, Uwe Lueck wrote:
> on texhax,
> 
>     http://tug.org/pipermail/texhax/2015-November/
> 
> it has been observed that your new symbol list is not 
> as comprehensive as one might wish, see below.
> 
> All the best,
> 
>     Uwe.
>  
> At 2015-11-11 12:07 UTC, Donald Arseneau wrote
>> On Tue, November 10, 2015 7:10 am, Victor Ivrii wrote:
>>> Table 72 -- no symbols (just macros)
>>>
>>> Table 180 -- missing symbol \mu (just macro)
> 
>> Also mu is missing from the paragraph below table 180.

CTAN now has a revised symbol list.

Thanks for the bug report,
-- Scott