Online selection notation: private API

This file defines no name. It fills math_dict with the notation of online portfolio selection. unique_key_dict! refuses a key that another entry holds with a different description.