Uma dica, no tabnews temos suporte a formatação mathjax (que é um subconjunto do latex) para expressar fórmulas.
Se tu colocar assim:
$$P(A \mid B) = \frac{P(B \mid A) \, P(A)}{P(B)}$$
Você consegue representar o teorema de bayes
P(A \mid B) = \frac{P(B \mid A) \, P(A)}{P(B)}
PS: Uma outra curiosidade sobre a implementação de Graham e o Teorema de Bayes é que ele é auto-alimentado. Ou seja você sempre pode inferir novas informações a partir de informações antigas aumentando a confiabilidade no sistema conforme o tempo passa