Rename 'def' to 'define'.
Change universal quantifier to angle brackets.