Title: A manual for phototypesetting