Ditt tangentbord har ingen piltangent för →. Vad skriver du i kalkylatorn för att mata in P → Q?