  where the first occurrence of the Greek \(\varepsilon\) (with the smooth breathing mark above it) is a ‘variable-binding operator’ which we might read as ‘the course-of-values of’. To avoid the appearance of variable clash, we may also use a Greek \(\alpha\) (also with a smooth breathing mark above) as a variable-binding operator. Using this notation, Frege formally represented Basic Law V in his system as: