s/¶¶¶local/ ¶¶¶laystan ¶¶¶latexopen \\backslash LOCAL ¶¶¶latexclot ¶¶¶debeq/
s/$/¶¶¶fineq/
}
/¶¶¶global/ {
s/¶¶¶global/ ¶¶¶laystan ¶¶¶latexopen \\backslash GLOBAL ¶¶¶latexclot ¶¶¶debeq/
s/$/¶¶¶fineq/
}
/¶¶¶option/ d
s/¶¶¶if/¶¶¶laystan ¶¶¶latexopen \\backslash IF { ¶¶¶latexclot þþþifdebeq / g
s/¶¶¶elif/¶¶¶laystan ¶¶¶latexopen \\backslash ELSIF { ¶¶¶latexclot þþþifdebeq / g
s/¶¶¶then/ þþþiffineq ¶¶¶latexopen } / g
s/¶¶¶else/¶¶¶laystan ¶¶¶latexopen \\backslash ELSE/ g
s/¶¶¶endif/¶¶¶laystan ¶¶¶latexopen \\backslash ENDIF/ g
s/þþþif/¶¶¶/g
/¶¶¶do/ {
s/¶¶¶for/¶¶¶laystan ¶¶¶latexopen \\backslash FOR { ¶¶¶latexclot þþþfordebeq / g
s/¶¶¶do/ þþþforfineq ¶¶¶latexopen } / g
s/ to / þþþforfineq ¶¶¶latexopen \\backslash TO ¶¶¶latexclot þþþfordebeq /
s/ from / þþþforfineq ¶¶¶latexopen \\backslash FROM ¶¶¶latexclot þþþfordebeq /
s/ while / þþþforfineq WHILE þþþfordebeq /
s/þþþfor/¶¶¶/g
}
s/¶¶¶enddo/ ¶¶¶laystan ¶¶¶latexopen \\backslash ENDFOR / g
/^¶¶¶state[ ]*$/ d
/¶¶¶state/ {
s/¶¶¶state/¶¶¶laystan ¶¶¶latexopen \\backslash STATE ¶¶¶latexclot ¶¶¶debeq/
s/$/¶¶¶fineq ; /
}
/¶¶¶error/ {
s/¶¶¶error/¶¶¶laystan ¶¶¶latexopen \\backslash STATE \\backslash ERROR ¶¶¶latexclot /
s/\\"/"/g
}
/¶¶¶return/ {
s/¶¶¶return/¶¶¶laystan ¶¶¶latexopen \\backslash STATE \\backslash RETURN ¶¶¶latexclot ¶¶¶debeq /
s/$/¶¶¶fineq/
}
s/¶¶¶break/¶¶¶laystan ¶¶¶latexopen \\backslash STATE \\backslash BREAK ¶¶¶latexclot /