Likelihood notation — LessWrong