DOC: More specification formula syntax