<applet
name="PresburgerApplet"
codebase="http://www.stefan-baur.de/applets/sa/"
code="presburger/ui/PresburgerApplet.class"
archive="sa.jar"
width="550"
height="600">
<param name="copyright" value="off">
<param name="formula" value="forall x (exists y x=y+y or exists y x=y+y')">
<param name="lookAndFeel" value="Nimbus, GTK++, Metal, Windows">
</applet>
formula
(Zeichenkette)
lookAndFeel
(Zeichenkette)
<a href="http://www.stefan-baur.de/cs.web.mashup.presburger.html">
Presburger-Applet
</a>