On 02/17/2013 08:48 AM, Jürgen Spitzmüller wrote:
Am Sonntag 17 Februar 2013, 14:44:55 schrieb Juergen Spitzmueller:The issue here was that an AMS symbol is used as 4-th level bullet, but 'use AMS Symbols automatically' was not selected. This is a candidate for branch.Actually, this bug is not in branch, since amssymb is loaded unconditionally.
OK.
rh