2) Man kann das Symbol auch hinter einem Quantor schreiben. Man muss als Leser jedoch beachten, dass in diesem Fall nicht die Leere Menge symbolisisert, sondern einfach nur ein Zeichen für eine beliebige Menge ist. (Ob du nun A oder a oder schreibst, ist ja letztendlich egal. Alles drei ist bloß als Symbol für eine beliebige Menge zu verstehen, sobald es hinter einem Quantor steht.)