Use real greek letters :)