Is this a capital phi? GitHub's fonts make this distinction really hard to see.