change notation for function summaries