You can use subscripts to add probabilities to claims:
https://niplav.github.io/notes#Subscripts_for_Probabilities
Publish this to LessWrong?
After discovering that this would be a pain to port over I won't do it.
a Schelling point for those who seek one
