Robuta

https://us.metamath.org/mpeuni/bnj946.html bnj946 - Mathbox for Jonathan Ben-Naim mathboxjonathanbennaim