I am sympathetic to the aims here. I think it makes a lot of sense to represent the relation (a,b,c) where a^b = c in a unified way. Of course, it may also ma

I am sympathetic to the aims here. I think it makes a lot of sense to represent the relation (a,b,c) where a^b = c in a unified way. Of course, it may also make sense to represent other ternary relations in similar ways, too. You could put something inside the triangle to represent which relation is intended.