Proceedings of the Royal Irish Academy: On some symbolic formulae in probability theory