SML+DOC: format bullet points