open-interval public under mathematical-interval 3 List Picture As a command %3 n0 open-interval n1 mathematical-interval n1->n0