Robuta

https://us.metamath.org/mpeuni/dfodd2.html dfodd2 - Mathbox for Alexander van der Vekens mathboxalexandervan