alliance/src/documentation/tutorials/synthesis/tex
