If Bayes' rule is important, then there should be a compact notation for the underlying calculation. (Ideas with compact handles get used by the brain more readily & often)

I suggest the following notation:

X bayes Y, Z = X * Y / Z

equivalently:

P(B|A) bayes P(A), P(B) = P(A|B)

As an example:

If 25% of Hypotheticans are bleegs and 50% are kwops; and 30% of bleegs are kwops:

Then (30% bayes 25%, 50%) = 15% of kwops are bleegs.

( Since there are twice as many bleegs as kwops, and 30% / 2 = 15% )