Hallo!

Ich hab da zwei Fragen zu Latex.

1. Mit welcher Umgebung malt ihr Petri-Netze bzw Automaten. Ich hab es mal mit der XY-Pic Umgebung versucht hatte dann aber z.B. Probleme z.B. das Symbol fuer den Endzustand darzustellen. Die Picture scheint mir ein wenig aufwendig.
Habt ihr irgentwo ein Beispiel dafuer?

2. Welches Package benutzt ihr wenn ihr eine Praesentation machen wollt? Prosper? Das scheint mir ganz gut zu sein. Das Seminar Package ist mir zu kompliziert.

Ach ja…. wie macht man eigentlich den grossen Allquantor wie z.B. in dem Mathe-Skript von Guenther?(also nicht das Symbol \forall)

Ich waere fuer jede Antwort dankbar!

Den grossen Allquantor solltest Du schon mit "\forall" machen koennen. Allerdings musst Du dann halt noch irgendwas mit _{bla} druntersetzen…

Ansonsten kannst Du mal "\bigforall" versuchen (ich weiss nicht, ob es das gibt, aber der Name wuerde passen).

MoKrates

Ich hab da ein nettes Makro von Roland, dass den M1-Günther-Style-Allquantor produziert, ich poste es mal, sobald ich wieder an mienem System bin. In LaTeX gibts afaik leider keinen trivialen dafür.

Du meinst die beiden?

\gdef\Exists#1{\raisebox{-2ex}{\(\stackrel{\textrm{\Huge$\exists$}}{_{#1}}\)}}
\gdef\Forall#1{\raisebox{-2ex}{\(\stackrel{\textrm{\Huge$\forall$}}{_{#1}}\)}}

Genau die, bekommen als Parameter die Unterschrift und machen nen schönen großen Quantor.

Prosper kann ich nur empfehlen. Habe bereits fuer ein Proseminar verwendet…

/jr

2. Welches Package benutzt ihr wenn ihr eine Praesentation machen wollt? Prosper? Das scheint mir ganz gut zu sein.

Ich habe für meine Ergänzungsfachvorstellung Prosper benutzt -
dieses Packages ist jedenfalls besser als slides und der Output
sieht aus, als ob man Powerpoint benutzt hat.

Hmm. Ich glaube, wir hatten sowas wie \forall\limits_{i=1}^n verwendet…

Zu LaTeX und Prosper gibt es einen guten Artikel:

http://freshmeat.net/articles/view/667/

1. Mit welcher Umgebung malt ihr Petri-Netze bzw Automaten.

Mit renew (www.renew.de)