Rough-notation Packages