no-vert-bar-lang a racket lang-extension that reads | as a normal character #lang no-vert-bar racket (define (P-A|B P-A P-B P-B|A) (* P-B|A (/ P-A P-B)))