- if (selopt[0].checked) {stadd="\[Genid]"+document.form1.ex1.value+"[Expr].[Expr]"}
- if (selopt[1].checked) {stadd="![Genid]:[Expr].[Expr]"}
- if (selopt[2].checked) {stadd="[Expr]->[Expr]"}
- if (selopt[3].checked) {stadd="([Expr])->[Expr]"}
- if (selopt[4].checked) {stadd=document.form1.ex2.value}
- if (selopt[5].checked) {
+ if (selopt[0].checked) {stadd="\\lambda [Genid] : [Expr].[Expr]"}
+ if (selopt[1].checked) {stadd="let [Genid] = [Expr] in [Expr]"}
+ if (selopt[2].checked) {stadd="\\forall [Genid]:[Expr].[Expr]"}
+ if (selopt[3].checked) {stadd="[Expr] \\to [Expr]"}
+ if (selopt[4].checked) {stadd="?"}
+ if (selopt[5].checked) {stadd=document.form1.ex2.value}
+ if (selopt[6].checked) {