Changed typesetting of commands to tt