I usually copy the ascii middle dot ( · ) from somewhere, or just make the multiplication implicit. It is kind of a pain.
Ok, so for the future you could hold down ALT, then type 250 with the number keypad, then release ALT. That will save you the copy and paste. Ah.. I see that using three asterisks in a row works.. you get an italic asterisk 5 * 3
This isn't intended as a full discussion, I'm just a little fuzzy on how a Bayesian update or any other kind of probability update would work in this situation.
You have a coin with a 99.9999% chance of coming up tails, and a 100% chance of coming up either tails or heads.
You've deduced these odds by studying the weight of the coin. You are 99% confident of your results. You have not yet flipped it.
You have no other information before flipping the coin.
You flip the coin once. It comes up heads.
How would you update your probability estimates?
(this isn't a homework assignment; rather I was discussing with someone how strong the anthropic principle is. Unfortunately my mathematic abilities can't quite comprehend how to assemble this into any form I can work with.)