История создания знака деления: кто и когда его придумал