an experimental project to encoding normal math terminology into scala