Jeg vil lige gøre opmærksom på, at min side med logiske symboler er blevet kraftigt forbedret. Se siden her.