Marcação especial para programas e sessões interativas

A d.t.d. program fornece principalmente os seguintes ambientes para álgebra computacional:

session

Macro com três argumentos: a linguagem de álgebra computacional, o nome da sessãoe e o próprio corpo da sessão.

input

Macro com dois argumentos: um prompt e a própria entrada.

output

Macro com o corpo da saída como seu argumento.

Na verdade, estes ambientes estão baseados em ambientes da forma lan-session, lan-input e lan-output para cada linguagem lan.

A d.t.d. program também fornece alguma marcação para diagramação de programas de computador. Estas etiquetas devem ser consideradas, no entanto, muito voláteis, já que pretendemos substituí-las por um conjunto de etiquetas bem mais detalhado:

algorithm

Macro com dois argumentos, o nome do algoritmo e o algoritmo em si, possivelmente acoplado à sua especificação.

body

O corpo do algoritmo.

indent

Para recuar parte do algoritmo.