nLab
KW format test

blah f(a)=a more blah blah Σ^ and P