a^f " b ."