Add snippet for prod in tex