Semborolik presentations