Update mincemeat.py

Add some notation.