Robuta

https://us.metamath.org/mpeuni/sn-00id.html sn-00id - Mathbox for Steven Nguyen snmathboxstevennguyen