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. Jürgen
