Typesetting programs and algorithms
