Talk:Steinhaus notation