Template:Common logical symbols/doc