use LaTeX manual typesetting of constitution